Next release should be 0.80 because of syntax changes

ROADMAP

@@ -120,7 +120,9 @@ https://gforge.inria.fr/tracker/index.php?func=detail&aid=13736&group_id=2990
 ** utiliser des chemins plus raisonnables pour indiquer la position des buts
    dans les fichiers (e.g. relativement au fichier session ?)
 
-==================== Roadmap for release 0.74 ========================
+==================== Roadmap for release 0.80 ========================
+
+Change in programs' input syntax deserves incrementing version to 0.80
 
 scheduled on Oct 2012
 
@@ -175,9 +177,11 @@ Bug fixes:
 * do "make distrib"
 * test the distrib why3-0.74.tar.gz
 * make a last commit:
- - add tag 0.74 to the git repository 
+ - add tag 0.74 to the git repository
  - do not forget to push it using git push --tags
-
+* install web page for why2 which includes an updated page for the
+  quick migration guide. (sources are in CVS repository
+  ~filliatr/ARCHIVE/www/why)
 * put on the web page
  - why3-0.74.tar.gz
  - the HTML version of the manual (content of doc/html)
@@ -195,7 +199,7 @@ Bug fixes:
             /users/www-perso/projets/why3/api    )
  - update the main HTML page (sources are in why3-papers/www)
 
-* produce the Why3 part of ProVal gallery 
+* produce the Why3 part of ProVal gallery
   -> add also a tar.gz and a ZIP file of it
 * Announce the distrib
  - What to put in the announcement: see New Features above
@@ -222,7 +226,7 @@ Bug fixes:
 *** check if coqide and also emacs/proof-general is installed
 
 * Documentation
- - (ANDREI) make the glossary available 
+ - (ANDREI) make the glossary available
  - (CLAUDE) complete api.tex: explain how to build theories, apply
    transformations, write new functions on terms (A)
 
@@ -284,7 +288,7 @@ Bug fix:
 * do "make distrib"
 * test the distrib why3-0.73.tar.gz
 * make a last commit:
- - add tag 0.73 to the git repository 
+ - add tag 0.73 to the git repository
  - do not forget to push it using git push --tags
 
 * put on the web page