Commits · be12cebbf92c039734d7688f167d512651c8c8a9 · Why3 / why3

20 Dec, 2010 14 commits
- install apidoc on inria forge · be12cebb
  MARCHE Claude authored Dec 20, 2010
  
  be12cebb
- doc: typos · e7666870
  Jean-Christophe Filliâtre authored Dec 20, 2010
  
  e7666870
- relecture de Claude · 5542328b
  MARCHE Claude authored Dec 20, 2010
  
  5542328b
- finish the example in syntax.tex · 3b4d52ab
  Andrei Paskevich authored Dec 20, 2010
  
  3b4d52ab
- page settings · f2b4d068
  MARCHE Claude authored Dec 20, 2010
  
  f2b4d068
- ROADMAP : why3bench done · 2ec97d0e
  François Bobot authored Dec 20, 2010
  
  2ec97d0e
- doc : why3bench · 86d136f5
  François Bobot authored Dec 20, 2010
  
  86d136f5
- ignore · e35df443
  Jean-Christophe Filliâtre authored Dec 20, 2010
  
  e35df443
- doc: better index entries for grammar (non-)terminals · 743d1d7a
  Jean-Christophe Filliâtre authored Dec 20, 2010
  
  743d1d7a
- update roadmap · 10ee7670
  MARCHE Claude authored Dec 20, 2010
  
  10ee7670
- a few additions in the doc for GUI · 775b5164
  MARCHE Claude authored Dec 20, 2010
  
  775b5164
- remove transformation · 5e2a954e
  MARCHE Claude authored Dec 20, 2010
  
  5e2a954e
- my cosine in logic, proved · a6391c21
  MARCHE Claude authored Dec 20, 2010
  
  a6391c21
- my cosine in logic · 2579fe40
  MARCHE Claude authored Dec 20, 2010
  
  2579fe40
18 Dec, 2010 6 commits
- new example: genealogy.why (not very impressive, though) · bcb4bdef
  Jean-Christophe Filliâtre authored Dec 18, 2010
  
  bcb4bdef
- add darkened icons for obsolete goals · 8e4c12d7
  Andrei Paskevich authored Dec 18, 2010
```
some space tweaks in IDE
```
  8e4c12d7
- INSTALL : protect all the optionnal sections with their tests · b0b4f3e6
  François Bobot authored Dec 18, 2010
  
  b0b4f3e6
- add version-printing option + set VERSION to 0.63 · f173d328
  Andrei Paskevich authored Dec 18, 2010
  
  f173d328
- remove ide_main.ml, unused since ages · 212c6d7e
  Andrei Paskevich authored Dec 18, 2010
  
  212c6d7e
- retouch cpulimit.c · b37c8610
  Andrei Paskevich authored Dec 18, 2010
  
  b37c8610
17 Dec, 2010 16 commits
- fix a "missed negation" bug in inlining (closes #11594) · 6890dea1
  Andrei Paskevich authored Dec 17, 2010
  
  6890dea1
- affiliations · a1e67db1
  MARCHE Claude authored Dec 17, 2010
  
  a1e67db1
- DB proof of cosine · 3ea2f02a
  MARCHE Claude authored Dec 17, 2010
  
  3ea2f02a
- distrib Coq proof of cosine · f6797b8b
  MARCHE Claude authored Dec 17, 2010
  
  f6797b8b
- Coq proof of cosine · 337d4525
  MARCHE Claude authored Dec 17, 2010
  
  337d4525
- whycpulimit : -s/-h instead of yes/no · eb71c6c4
  François Bobot authored Dec 17, 2010
```
whycpulimit : Fix return the status of the prover
gappa       : Fix inversion (should use meta showing
              what musn't be instantiated)
```
  eb71c6c4
- example · 23382db5
  MARCHE Claude authored Dec 17, 2010
  
  23382db5
- roadmap · ee42e57d
  MARCHE Claude authored Dec 17, 2010
  
  ee42e57d
- syntax of agathe problem · f4a218c2
  MARCHE Claude authored Dec 17, 2010
  
  f4a218c2
- install fix · a7401045
  François Bobot authored Dec 16, 2010
  
  a7401045
- doc: macro \why now used everywhere (for Why3) · 4e0bf50f
  Jean-Christophe Filliâtre authored Dec 17, 2010
  
  4e0bf50f
- coq-plugin compilation disabled (done corretly this time) · e08a91dc
  Jean-Christophe Filliâtre authored Dec 17, 2010
  
  e08a91dc
- coq-plugin compilation disabled · 4b8da52b
  Jean-Christophe Filliâtre authored Dec 17, 2010
  
  4b8da52b
- doc: petites choses dans les manpages · 09c7e8aa
  MARCHE Claude authored Dec 17, 2010
  
  09c7e8aa
- goal removal in IDE · 9651a7b9
  MARCHE Claude authored Dec 17, 2010
  
  9651a7b9
- fixed distrib · b880ebf6
  MARCHE Claude authored Dec 17, 2010
  
  b880ebf6
16 Dec, 2010 4 commits
- finish the first language example · dd130de5
  Andrei Paskevich authored Dec 17, 2010
  
  dd130de5
- put OCAML-LICENSE · 41d7a29c
  Andrei Paskevich authored Dec 16, 2010
  
  41d7a29c
- Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//why3/why3 · 8f6a08df
  Jean-Christophe Filliâtre authored Dec 16, 2010
  
  8f6a08df
- doc: syntax reference: priorities and associativities · d2083b32
  Jean-Christophe Filliâtre authored Dec 16, 2010
  
  d2083b32