Re-adapt build script to non-one-jar config
Merge branch 'parser'
Merge remote-tracking branch 'bruno/master'
Start using new conventions in LUniv section
LUniv main proposition with proof
Replace \cdots by \ldots
Merge commit '6ddbe551498b112688e6138618f22e74bc4d1fae' into feature/paper

# By Joseph Boudou
# Via Joseph Boudou (3) and Ceilican (1)
* commit '6ddbe551498b112688e6138618f22e74bc4d1fae':
  Replace \cdots by \ldots
  LUniv main proposition with proof
  Start using new conventions in LUniv section
  Re-adapt build script to non-one-jar config
Script to draw histograms
Script to add "best combined" columns

 + the final experiment csv
Reduce number of dots in charts
Figures with 5 charts
Figures with 4 charts
Global result table
Rewrite definition of proof

It is still a draft...
Merge commit '2039c712ef5ce0ee517a44df29af070abe9733f4' into feature/paper

# By Joseph Boudou
# Via Joseph Boudou
* commit '2039c712ef5ce0ee517a44df29af070abe9733f4':
  Global result table
  Figures with 4 charts
  Figures with 5 charts
  Reduce number of dots in charts
  Script to add "best combined" columns
  Script to draw histograms
Fix definition of active literal and add paragraph informally defining premise, subproof and related concepts
Use literal instead of atom in proof definition.
Merge commit '8bfe0fc69c556de617bde5cb616bdccbdc797949' into feature/paper

# By Joseph Boudou
# Via Joseph Boudou
* commit '8bfe0fc69c556de617bde5cb616bdccbdc797949':
  Use literal instead of atom in proof definition.
Re-adapt build script to non-one-jar config
Start using new conventions in LUniv section