Commits · 4f01b967369589890e8f60c0e39546e38e4a1a39 · pub / Frama-C Website · GitLab

Snippets Groups Projects

Sep 02, 2020
- No more wiki CSS · 4f01b967
  Allan Blanchard authored 4 years ago
  
  4f01b967
- Moves some content from dokuwiki to blog · 80dfb6f8
  Allan Blanchard authored 4 years ago
  
  80dfb6f8
- Moves ENSIIE course content · d68386a5
  Allan Blanchard authored 4 years ago
  
  d68386a5
- New teaching page · 45de92c7
  Allan Blanchard authored 4 years ago
  
  45de92c7
- Fast animation (avoids motion sickness) · 2291b1ea
  Allan Blanchard authored 4 years ago
  
  2291b1ea
- Adds old site tutorials · c1b9594e
  Allan Blanchard authored 4 years ago
  
  c1b9594e
Sep 01, 2020
- Improves ACSL page on mobile · ce681e6a
  Allan Blanchard authored 4 years ago
  
  ce681e6a
- Minor fixes · af66f658
  Allan Blanchard authored 4 years ago
  
  af66f658
Aug 31, 2020
- Invisible hover for publications without abstract · 58d5cc6e
  Allan Blanchard authored 4 years ago
  
  58d5cc6e
- Publication: changes global padding · 83e236a0
  Allan Blanchard authored 4 years ago
  
  83e236a0
- Removes right border on publication side menu · c6b0110e
  Allan Blanchard authored 4 years ago
  
  c6b0110e
Aug 28, 2020
- try prettier menu · c5c04c24
  Augustin Lemesle authored 4 years ago
  
  c5c04c24
Aug 27, 2020
- Simpler side menu for publications · 036530f4
  Allan Blanchard authored 4 years ago
  
  036530f4
- Side/top menu · 77b7685f
  Allan Blanchard authored 4 years ago
  
  77b7685f
- hover black when content is empty · 88765d6c
  Augustin Lemesle authored 4 years ago and Allan Blanchard committed 4 years ago
  
  88765d6c
- Renaming · 6b4327b6
  Allan Blanchard authored 4 years ago
  
  6b4327b6
- Better presentation for publications · 7658fbef
  Allan Blanchard authored 4 years ago
  
  7658fbef
- Resize H3 · 443ef2bf
  Allan Blanchard authored 4 years ago
  
  443ef2bf
- Small fixes for publications · 93265ba1
  Allan Blanchard authored 4 years ago
  
  93265ba1
- Homogeneous Publications page wrt the website · e0ac0b33
  Allan Blanchard authored 4 years ago
  
  e0ac0b33
- Fix some markdown formatting · 85e5f503
  Augustin Lemesle authored 5 years ago and Allan Blanchard committed 4 years ago
  
  85e5f503
- add download button, fix z-index · 7a1847a3
  Augustin Lemesle authored 4 years ago
  
  7a1847a3
- remove js from phone menu · d04e92a3
  Augustin Lemesle authored 4 years ago
  
  d04e92a3
Aug 25, 2020
- remove remaining big text and corresp css, and arrowTooltip unused css · 88c63975
  Augustin Lemesle authored 4 years ago
  
  88c63975
Aug 24, 2020
- Lighter color for Windows · d0e5c7bd
  Allan Blanchard authored 4 years ago
  
  d0e5c7bd
- Removes getFramaC gray background · 15033cfb
  Allan Blanchard authored 4 years ago
  
  15033cfb
- codeTabs to relativ size · c48d8c7b
  Augustin Lemesle authored 4 years ago
  
  c48d8c7b
- Fixes institutions display in "authors" · 20531ea8
  Allan Blanchard authored 4 years ago
  
  20531ea8
- Slightly improves header display · 489533e0
  Allan Blanchard authored 4 years ago
  
  489533e0
- Footer is now opaque · f36c3364
  Allan Blanchard authored 4 years ago
  
  f36c3364
- fix get frama-c · 7a158b8d
  Augustin Lemesle authored 4 years ago
  
  7a158b8d
Aug 07, 2020
- Better date display · df85c723
  Allan Blanchard authored 4 years ago
  
  df85c723
- Changes calendar event display for small size · a4902e93
  Allan Blanchard authored 4 years ago
  
  a4902e93
- fix js error, remove latest · a6506e52
  Augustin Lemesle authored 4 years ago
  
  a6506e52
- quick fix css · 72379479
  Augustin Lemesle authored 4 years ago
  
  72379479
- recenter stuff · f5475be9
  Augustin Lemesle authored 4 years ago
  
  f5475be9
- refacto le js · 35cb983d
  Augustin Lemesle authored 4 years ago
  
  35cb983d
- Relaxes tiles right padding · 7a716fff
  Allan Blanchard authored 4 years ago
  
  7a716fff
- Changes some tiles threshold · f6386bf0
  Allan Blanchard authored 4 years ago
  
  f6386bf0
- Removes unused CSS classes · fc8b858c
  Allan Blanchard authored 4 years ago
  
  fc8b858c