Skip to content
Snippets Groups Projects
Select Git revision
  • colibri default protected
  • colibri-doc
  • master protected
3 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.023Jan3Jun22May613Mar13Feb11Jan8Dec724Oct510May30Mar2912Jan6431Aug26Jul2210Jun728Apr2625114Oct28Sep19Aug30Jul222015131298622Jun1410821May2028Apr2731Mar29168116Feb11Jan6511Dec10926Nov252423201918171654230Oct29282726232221125Sep987432131Aug2827252476526Jun18171225May20191211765429Apr6213Mar1110Merge branch 'fix_urls' into 'colibri'colibricolibriFix version in job name for master branch of colibri2Add link to COLIBRI repositoryMerge branch 'update-ocp-logo' into 'colibri'Update OCamlPro's logoFix markup for "bundle"Fix links to releasesFix url to colibri bundle (missing "s")Merge branch 'cj-layout-download' into 'colibri'Change bullet points to sectionsMerge branch 'cj/colibri_bundle' into 'colibri'Add link to COLIBRI releasesSmall content editing in the bodyUse plaintext highlighting for Why3Remove dead codeMerge branch 'add-ocamlpro-acknowledgements-page' into 'colibri'Add OCamlPro to the acknowledgements pagereadd missing fileMerge branch 'add_some_css' into 'colibri'remove time from news datefix some additional htmlAdd some css and some images[logo] add version pink and blueFix acknowledgementAdd documentation for Colibri2Add download and sourceAdd index page for COLIBRI and coCleanup the css, fix for mobileUpdate Jekyll and remove minima themeUpdate _plugins/relativize.rbNew version pluginUpdate _layouts/new.html, acknowledgment.htmlRelativize URLUpdate _includes/body.htmlUpdate assets/images/visualising.png, _plugins/relativize.rbDeleted assets/images/visualising.pngUpdate _includes/body.html, _includes/hero.htmlUpdate _config.ymlUpdate ON_H-YFL8TxEAFrW3qOlYtO_StbRQC2Xr2uRT6gxxPMAdd new file