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

Snippets Groups Projects

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
- Add number 3 on front page · cb810535
  Augustin Lemesle authored 5 years ago
  
  Minor fixes
  cb810535
Oct 24, 2019
- minor changes · dd3d0303
  Augustin Lemesle authored 5 years ago
  
  dd3d0303
Oct 03, 2019
- Add custom image blog posts · 2163656c
  Augustin Lemesle authored 5 years ago
  
  2163656c
Oct 02, 2019
- Fix header · c14593cf
  Augustin Lemesle authored 5 years ago
  
  c14593cf
- Added dokuwiki to menu instead of documentation · 3eb50897
  Augustin Lemesle authored 5 years ago
  
  Others
  3eb50897
Sep 20, 2019
- Added dokuwiki · 931fa4a1
  Augustin Lemesle authored 5 years ago
  
  931fa4a1
Sep 19, 2019
- minor fixes · 15a4a9c7
  Augustin Lemesle authored 5 years ago
  
  15a4a9c7
Sep 10, 2019
- Added missing plugins · e17ee6cc
  Augustin Lemesle authored 5 years ago
  
  Images update
  e17ee6cc
Sep 06, 2019
- Added versions Frama-C · da520f02
  Augustin Lemesle authored 5 years ago
  
  da520f02
Sep 04, 2019
- Add changelog and generator · 256f678b
  Augustin Lemesle authored 5 years ago
  
  256f678b
- Add authors · c33e2b79
  Augustin Lemesle authored 5 years ago
  
  Add events Add careers Add versions
  c33e2b79
Aug 30, 2019
- Added case studies framework · 6bfd0371
  Augustin Lemesle authored 5 years ago
  
  6bfd0371
Aug 29, 2019
- Kernel · 483c842d
  Augustin Lemesle authored 5 years ago
  
  483c842d
- Add tag for blog · 3ec1fca2
  Augustin Lemesle authored 5 years ago
  
  3ec1fca2
- Added blog and pagination · e1410de6
  Augustin Lemesle authored 5 years ago
  
  e1410de6
Aug 27, 2019
- Change to jekyll · b34e818c
  Augustin Lemesle authored 5 years ago
  
  b34e818c