publis (!11) · Merge requests · pub / Frama-C Website

Merged Julien Signoles requested to merge feature/julien/publis into master 5 years ago

Sep 01, 2020
- Fix README · e824c7ef
  Allan Blanchard authored 4 years ago
  
  e824c7ef
- 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
- Slightly reorganizes publications and adds guidelines to add a new one. · 5561fb38
  Allan Blanchard authored 4 years ago
  
  5561fb38
- 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
- unmatching /div · 3d7a0aed
  Allan Blanchard authored 4 years ago
  
  3d7a0aed
- 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

publis

Merge request reports

Activity