Skip to content
Snippets Groups Projects
Select Git revision
  • feature/bdesloges/rss-feed
  • feature/bdesloges/update-ivette-page
  • fix/martin/fix-changelog-event-display
  • improve-index-wip-proposal
  • master default protected
5 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.02Sep131Aug2827252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221Removes dokuwiki pages that are now elsewhereDo not include dokuwikiAdds a title for terms of useRemoves old dokuwiki linkMoves ENSIIE course contentRemoves dokuwiki links in documentationNew teaching pageFixes title display in ContactFast animation (avoids motion sickness)Fixes links in stance tutorialsAdds old site tutorialsNew tutorials pageMerge branch 'recent-events' into 'master'Merge branch 'add-acsl-importer' into 'master'Update acsl-importer.mdMerge branch 'add-acsl-importer' of git.frama-c.com:frama-c/frama-c.frama-c.com into add-acsl-importerAdd contact information to ACSL importer.Adds ACSL importerMerge branch 'better-acsl-page-css' into 'master'Updates Frama-ClangAdds ScandiumAdds CalciumImproves ACSL page on mobileAdds ACSL importerAdds Scandium + corresponding frama-clangMerge branch 'feature/julien/publis' into 'master'Fix READMEMinor fixesInvisible hover for publications without abstractSlightly reorganizes publications and adds guidelines to add a new one.Publication: changes global paddingRemoves right border on publication side menutry prettier menuunmatching /divSimpler side menu for publicationsSide/top menuSimplifies publications generationhover black when content is emptyRenamingChanges publications subsections titles