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

Snippets Groups Projects

Aug 07, 2020
- Changes some tiles threshold · f6386bf0
  Allan Blanchard authored 4 years ago
  
  f6386bf0
- Removes unused CSS classes · fc8b858c
  Allan Blanchard authored 4 years ago
  
  fc8b858c
- Generalize tiles and use it for plugins · ca75a1cf
  Allan Blanchard authored 4 years ago
  
  ca75a1cf
- Generic (small) tiles · 678f4d0d
  Allan Blanchard authored 4 years ago
  
  678f4d0d
- Documentation CSS is now in the rigth file · 4289abe8
  Allan Blanchard authored 4 years ago
  
  4289abe8
- Merge branch 'new-doc-page' into 'master' · 97c212d4
  Allan Blanchard authored 4 years ago
  
  New documentation page See merge request !43
  97c212d4
Aug 06, 2020
- Darker links · aba7bef3
  Allan Blanchard authored 4 years ago
  
  aba7bef3
- Fixes (again) tiles display and simplifies it · c8072c20
  Allan Blanchard authored 4 years ago
  
  c8072c20
- Typo in Documentation · 61359ed2
  Allan Blanchard authored 4 years ago
  
  61359ed2
- Moves links so that documentation is more concise · 036d54ee
  Allan Blanchard authored 4 years ago
  
  036d54ee
- Better links display in documentation · 99467aa2
  Allan Blanchard authored 4 years ago
  
  99467aa2
- Fixes documentation tiles display · 56dba410
  Allan Blanchard authored 4 years ago
  
  56dba410
- Map documentation link to the new page · aa7c2577
  Allan Blanchard authored 4 years ago
  
  aa7c2577
- New documentation page · 343afe79
  Allan Blanchard authored 4 years ago
  
  343afe79
Aug 05, 2020
- Merge branch 'feature/blanchard/main-page' into 'master' · b447a5e6
  Allan Blanchard authored 4 years ago
  
  New version of the main page See merge request !42
  b447a5e6
- Fixes feature list display in features page · 6a038ca1
  Allan Blanchard authored 4 years ago
  
  6a038ca1
- add buttons to slider · 4471886e
  Augustin Lemesle authored 4 years ago and Allan Blanchard committed 4 years ago
  
  4471886e
- Removes empty CSS rule · a4739dd6
  Allan Blanchard authored 4 years ago
  
  a4739dd6
- Fixes footer for wide screens · c089f448
  Allan Blanchard authored 4 years ago
  
  c089f448
- MainPage: reduced space between timeline & download · e751ec3d
  Allan Blanchard authored 4 years ago
  
  e751ec3d
- Improves main page display in portrait mode · 4a8a202b
  Allan Blanchard authored 4 years ago
  
  4a8a202b
- Fixes footer display on main page · 06c485dd
  Allan Blanchard authored 4 years ago
  
  06c485dd
- No more particular landscape mode for main page · a58f34c4
  Allan Blanchard authored 4 years ago
  
  a58f34c4
- Main page: cosmetic changes · 09bbd17c
  Allan Blanchard authored 4 years ago
  
  09bbd17c
- New version of the main page · 20af88aa
  Allan Blanchard authored 4 years ago
  
  20af88aa
- First steps with main page · 3b4d9e34
  Allan Blanchard authored 4 years ago
  
  3b4d9e34
- Update (WSL) installation instructions for Scandium · 89d0ffc2
  Allan Blanchard authored 4 years ago
  
  89d0ffc2
- chrome does not break words · 71215604
  Augustin Lemesle authored 4 years ago
  
  71215604
- try fix publi · d6e4f4fd
  Augustin Lemesle authored 4 years ago
  
  d6e4f4fd
Jun 26, 2020
- Merge branch 'eva-job-offer' into 'master' · fdb17b99
  Andre Maroneze authored 4 years ago
  
  add Eva-related job offer See merge request !41
  fdb17b99
- add Eva-related job offer · 64c0d179
  Andre Maroneze authored 4 years ago
  
  64c0d179
Jun 18, 2020
- temporarily remove blog post images · ad8d147a
  Andre Maroneze authored 4 years ago
  
  ad8d147a
- Merge branch 'test-blog-images' into 'master' · eecd83ca
  Andre Maroneze authored 4 years ago
  
  move blog images to download See merge request !40
  eecd83ca
- move blog images to download · 8581ae5a
  Andre Maroneze authored 4 years ago
  
  8581ae5a
- Merge branch 'blog-standalone' into 'master' · e9a15d20
  Andre Maroneze authored 4 years ago
  
  Temporarily remove links to website under construction See merge request !39
  e9a15d20
- Temporarily turn blog into "standalone" site · 5b7d29d6
  Andre Maroneze authored 4 years ago
  
  5b7d29d6
- Merge branch 'master' of git.frama-c.com:pub/pub.frama-c.com · 568d3395
  Augustin Lemesle authored 4 years ago
  
  568d3395
- fix downcase · 46e9687b
  Augustin Lemesle authored 4 years ago
  
  46e9687b
Jun 17, 2020
- Merge branch 'blog/analysis-scripts-userman' into 'master' · 3af1969a
  Andre Maroneze authored 4 years ago
  
  [blog] new post on analysis scripts See merge request !38
  3af1969a
- fix pagination · c388d4e2
  Augustin Lemesle authored 4 years ago
  
  c388d4e2