Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
C
Colibri WebSite
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Package Registry
Container Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
pub
Colibri WebSite
Graph
90c81a59873cd2b5498f31bf4c010c6cd73ee733
Select Git revision
Branches
3
colibri
default
protected
colibri-doc
master
protected
3 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
23
Jan
3
Jun
22
May
6
13
Mar
13
Feb
11
Jan
8
Dec
7
24
Oct
5
10
May
30
Mar
29
12
Jan
6
4
3
1
Aug
26
Jul
22
10
Jun
7
28
Apr
26
25
11
4
Oct
28
Sep
19
Aug
30
Jul
22
20
15
13
12
9
8
6
22
Jun
14
10
8
21
May
20
28
Apr
27
31
Mar
29
16
8
1
16
Feb
11
Jan
6
5
11
Dec
10
9
26
Nov
25
24
23
20
19
18
17
16
5
4
2
30
Oct
29
28
27
26
23
22
21
1
25
Sep
9
8
7
4
3
2
1
31
Aug
28
27
25
24
7
6
5
26
Jun
18
17
12
25
May
20
19
12
11
7
6
5
4
29
Apr
6
2
13
Mar
11
10
Merge branch 'fix_urls' into 'colibri'
colibri
colibri
Fix version in job name for master branch of colibri2
Add link to COLIBRI repository
Merge branch 'update-ocp-logo' into 'colibri'
Update OCamlPro's logo
Fix markup for "bundle"
Fix links to releases
Fix url to colibri bundle (missing "s")
Merge branch 'cj-layout-download' into 'colibri'
Change bullet points to sections
Merge branch 'cj/colibri_bundle' into 'colibri'
Add link to COLIBRI releases
Small content editing in the body
Use plaintext highlighting for Why3
Remove dead code
Merge branch 'add-ocamlpro-acknowledgements-page' into 'colibri'
Add OCamlPro to the acknowledgements page
readd missing file
Merge branch 'add_some_css' into 'colibri'
remove time from news date
fix some additional html
Add some css and some images
[logo] add version pink and blue
Fix acknowledgement
Add documentation for Colibri2
Add download and source
Add index page for COLIBRI and co
Cleanup the css, fix for mobile
Update Jekyll and remove minima theme
Update _plugins/relativize.rb
New version plugin
Update _layouts/new.html, acknowledgment.html
Relativize URL
Update _includes/body.html
Update assets/images/visualising.png, _plugins/relativize.rb
Deleted assets/images/visualising.png
Update _includes/body.html, _includes/hero.html
Update _config.yml
Update ON_H-YFL8TxEAFrW3qOlYtO_StbRQC2Xr2uRT6gxxPM
Add new file
Loading