Commits · 036530f41d6e1978357f777480a95f31d5ea7f9e · pub / Frama-C Website · GitLab

Snippets Groups Projects

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
- Simplifies publications generation · 29a2bfd7
  Allan Blanchard authored 4 years ago
  
  29a2bfd7
- 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
- Changes publications subsections titles · c124e368
  Allan Blanchard authored 4 years ago
  
  c124e368
- Adds 3 E-ACSL publications · 8bf901ef
  Allan Blanchard authored 4 years ago
  
  8bf901ef
- Deletes old documentation page and bind the new one · 5cd4eb27
  Allan Blanchard authored 4 years ago
  
  5cd4eb27
- Better presentation for publications · 7658fbef
  Allan Blanchard authored 4 years ago
  
  7658fbef
- New publication page system · 4987ef26
  Allan Blanchard authored 4 years ago
  
  4987ef26
- RPP + MetACSL + E-ACSL · de83f8cc
  Allan Blanchard authored 4 years ago
  
  de83f8cc
- Resize H3 · 443ef2bf
  Allan Blanchard authored 4 years ago
  
  443ef2bf
- Use \ to force end of line in bullets · 7ea62207
  Allan Blanchard authored 4 years ago
  
  7ea62207
- 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
- [publis] Fix dead link · dc7288e2
  Allan Blanchard authored 5 years ago
  
  dc7288e2
- more plug-ins · 7a208661
  Julien Signoles authored 5 years ago and Allan Blanchard committed 4 years ago
  
  7a208661
- [publis] size of titles · 157fed21
  Julien Signoles authored 5 years ago and Allan Blanchard committed 4 years ago
  
  157fed21
- [publis] still ^M · f9014912
  Julien Signoles authored 5 years ago and Allan Blanchard committed 4 years ago
  
  f9014912
- [publis] ^M seems to be important · 87de0406
  Julien Signoles authored 5 years ago and Allan Blanchard committed 4 years ago
  
  87de0406
- [publis] Frama-C general, Eva WP, E-ACSL · ee5d0eb4
  Julien Signoles authored 5 years ago and Allan Blanchard committed 4 years ago
  
  ee5d0eb4
- Merge branch 'master' of git.frama-c.com:pub/pub.frama-c.com · 18e3988d
  Augustin Lemesle authored 4 years ago
  
  18e3988d
- fix _ in tags · 2c2142da
  Augustin Lemesle authored 4 years ago
  
  2c2142da
- [blog] remove duplicate text in posts · 36d8ca45
  Andre Maroneze authored 4 years ago
  
  36d8ca45
- Merge branch 'feature/menu/withoutjs' into 'master' · bfcdde39
  Augustin Lemesle authored 4 years ago
  
  Feature/menu/withoutjs See merge request !45
  bfcdde39
- fix side-bar blog tags for category pages · 4dea621a
  Augustin Lemesle authored 4 years ago
  
  4dea621a
- add download button, fix z-index · 7a1847a3
  Augustin Lemesle authored 4 years ago
  
  7a1847a3
- clean some useless classes · 6d4cc6c3
  Augustin Lemesle authored 4 years ago
  
  6d4cc6c3
- 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
- Merge branch 'refacto' into 'master' · 99c5c9ba
  Allan Blanchard authored 4 years ago
  
  Creates a CSS for tiles and removes old stuff See merge request !44
  99c5c9ba
- Lighter color for Windows · d0e5c7bd
  Allan Blanchard authored 4 years ago
  
  d0e5c7bd
- Removes getFramaC gray background · 15033cfb
  Allan Blanchard authored 4 years ago
  
  15033cfb
- Merge branch 'refacto' of git.frama-c.com:pub/pub.frama-c.com into refacto · 10c1d697
  Augustin Lemesle authored 4 years ago
  
  10c1d697
- codeTabs to relativ size · c48d8c7b
  Augustin Lemesle authored 4 years ago
  
  c48d8c7b
- Disables "using frama-c" page · f9abe4ca
  Allan Blanchard authored 4 years ago
  
  f9abe4ca
- 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