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.027Aug252476526Jun18171225May20191211765429Apr6213Mar111015Jan1413106Dec21Nov18128724Oct3220Sep191110654230Aug29272221Simplifies 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 refactocodeTabs to relativ sizeDisables "using frama-c" pageFixes institutions display in "authors"Slightly improves header displayFooter is now opaquefix get frama-cBetter date display