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.031Aug2827252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221Slightly 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 titlesAdds 3 E-ACSL publicationsDeletes old documentation page and bind the new oneBetter presentation for publicationsNew publication page systemRPP + MetACSL + E-ACSLResize H3Use \ to force end of line in bulletsSmall fixes for publicationsHomogeneous Publications page wrt the websiteFix some markdown formatting[publis] Fix dead linkmore plug-ins[publis] size of titles[publis] still ^M[publis] ^M seems to be important[publis] Frama-C general, Eva WP, E-ACSLMerge branch 'master' of git.frama-c.com:pub/pub.frama-c.comfix _ in tags[blog] remove duplicate text in postsMerge branch 'feature/menu/withoutjs' into 'master'fix side-bar blog tags for category pagesadd download button, fix z-indexclean some useless classesremove js from phone menuremove remaining big text and corresp css, and arrowTooltip unused cssMerge branch 'refacto' into 'master'Lighter color for WindowsRemoves getFramaC gray backgroundMerge branch 'refacto' of git.frama-c.com:pub/pub.frama-c.com into refacto