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.04Sep32131Aug2827252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221place footer at bottom even if short pagesfix padding and some csschange menu transition at 1080pxMerge branch 'several-fixes' into 'master'menu and layout u3catFixes various links in blog postsFixes borken link for a tutorialFixes missing downloadsmove downloads and fetch LFSclean u3cat pagesadd u3cat filesMerge branch 'changes-logo' into several-fixesFixes tutorial linksMakes logo compatible with dark modeMerge branch 'feature/allan/improve-publications' into 'master'More acknowledgementsAcknowledgements: slighlty changes CSSBetter acknowledgements pageFixes some links in ENSIIE courseDocumentation: make sure links are one line longDocumentation: invert ACSL and Frama-CDocumentation: Merge "Frama-C" and "About"Publications: lighter details hoverPublications: fixes sidebar widthPublications: JS script to close menu on clickPublications: Better detailsPublication: side menu - changes visibilityMerge branch 'feature/allan/tutorials-page' into 'master'No more wiki CSSRemoves last dokuwiki filesMoves some content from dokuwiki to blogAdds last missing plugin in publicationsRemoves 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 Contact