Commits · ed72a2469365dfb93864c7a918ad29d0ecdbbafe · pub / Frama-C Website · GitLab

Snippets Groups Projects

Sep 08, 2020
- remove case studies generation, remove some css · ed72a246
  Augustin Lemesle authored 4 years ago
  
  ed72a246
- further tab navigation · 25162216
  Augustin Lemesle authored 4 years ago
  
  25162216
Sep 04, 2020
- body class clean · 82e5b387
  Augustin Lemesle authored 4 years ago
  
  82e5b387
- final useless files · a21f3a72
  Augustin Lemesle authored 4 years ago
  
  a21f3a72
- fix padding and some css · 0734fba2
  Augustin Lemesle authored 4 years ago
  
  0734fba2
- change menu transition at 1080px · 07f45c1b
  Augustin Lemesle authored 4 years ago
  
  07f45c1b
- menu and layout u3cat · db8fb0e1
  Augustin Lemesle authored 4 years ago
  
  db8fb0e1
Sep 02, 2020
- No more wiki CSS · 4f01b967
  Allan Blanchard authored 4 years ago
  
  4f01b967
Aug 25, 2020
- remove remaining big text and corresp css, and arrowTooltip unused css · 88c63975
  Augustin Lemesle authored 4 years ago
  
  88c63975
Aug 07, 2020
- refacto le js · 35cb983d
  Augustin Lemesle authored 4 years ago
  
  35cb983d
- More robust way to select header value · b6437b08
  Allan Blanchard authored 4 years ago
  
  b6437b08
- Generic (small) tiles · 678f4d0d
  Allan Blanchard authored 4 years ago
  
  678f4d0d
Aug 06, 2020
- New documentation page · 343afe79
  Allan Blanchard authored 4 years ago
  
  343afe79
Aug 05, 2020
- Fixes feature list display in features page · 6a038ca1
  Allan Blanchard authored 4 years ago
  
  6a038ca1
- try fix publi · d6e4f4fd
  Augustin Lemesle authored 4 years ago
  
  d6e4f4fd
Jun 26, 2020
- add Eva-related job offer · 64c0d179
  Andre Maroneze authored 4 years ago
  
  64c0d179
Jun 18, 2020
- Temporarily turn blog into "standalone" site · 5b7d29d6
  Andre Maroneze authored 4 years ago
  
  5b7d29d6
- fix downcase · 46e9687b
  Augustin Lemesle authored 4 years ago
  
  46e9687b
Jun 17, 2020
- fix pagination · c388d4e2
  Augustin Lemesle authored 4 years ago
  
  c388d4e2
May 20, 2020
- fix Hydrogen and changelog link · 51f0c1fb
  Augustin Lemesle authored 4 years ago
  
  51f0c1fb
May 12, 2020
- Update post.html · c7d0a6bb
  Augustin Lemesle authored 4 years ago and Allan Blanchard committed 4 years ago
  
  c7d0a6bb
May 07, 2020
- Removes the line after the last tabLink. · bd3a2f45
  David Bühler authored 4 years ago
  
  bd3a2f45
- Do not lock the active tabLink when on a plugin page. · be491dd3
  David Bühler authored 4 years ago
  
  The user should be able to return to the plugins list from a plugin page.
  be491dd3
- Prettier front matter and plugin list · 6ce5855f
  Augustin Lemesle authored 4 years ago
  
  6ce5855f
May 06, 2020
- Redesigns the CSS for the plugin pages generated from markdown files. · bf919e2e
  David Bühler authored 4 years ago
  
  bf919e2e
- Clean headers and navbar · 40d6b87c
  Augustin Lemesle authored 4 years ago
  
  40d6b87c
- clean tabs · 7261180a
  Augustin Lemesle authored 4 years ago
  
  7261180a
- add layouts for features · 9347b24f
  Augustin Lemesle authored 4 years ago
  
  9347b24f
May 05, 2020
- minor posts · 9a002a86
  Augustin Lemesle authored 4 years ago
  
  9a002a86
- beautify post · 41ee7895
  Augustin Lemesle authored 4 years ago
  
  41ee7895
- Removes most background texts (except on the home page). · c6f359b8
  David Bühler authored 4 years ago
  
  c6f359b8
- Ajout des liens changelog et petis fix · f191d761
  Augustin Lemesle authored 4 years ago
  
  f191d761
Apr 06, 2020
- Fix first page pagination · d28c0458
  Augustin Lemesle authored 4 years ago
  
  d28c0458
- change page numbering · 3070c4d4
  Augustin Lemesle authored 4 years ago
  
  3070c4d4
- [blog] various layout changes and fixes · cd21f839
  Andre Maroneze authored 4 years ago
  
  cd21f839
Jan 13, 2020
- changelog fix · 759b16b6
  Augustin Lemesle authored 5 years ago
  
  759b16b6
- changelog fix · e16026f9
  Augustin Lemesle authored 5 years ago
  
  e16026f9
Nov 08, 2019
- remove TEACHING · 95e7f6ff
  Augustin Lemesle authored 5 years ago
  
  95e7f6ff
Nov 07, 2019
- New page about the ACSL language. · 71838fe0
  David Bühler authored 5 years ago
  
  71838fe0
- minor fixes · 5bd49e7d
  Augustin Lemesle authored 5 years ago
  
  5bd49e7d