Commit e3b1bc4d authored by Guillaume Melquiond's avatar Guillaume Melquiond

Update roadmap.

parent e4da761d
......@@ -117,6 +117,8 @@ scheduled on ? 2012
/users/www-perso/projets/why3/api
PROBLEME avec style.css
- update the main HTML page (sources are in why3-papers/www)
* add a new version to the bugtracker:
https://gforge.inria.fr/tracker/admin/?group_id=2990&atid=10293&add_extrafield=1
* produce the Why3 part of ProVal gallery
-> add also a tar.gz and a ZIP file of it (this is done by doing
......@@ -166,8 +168,7 @@ https://gforge.inria.fr/tracker/index.php?func=detail&aid=13736&group_id=2990
** syntax highlighting bugs ?
some keywords are not colored in the bottom-right window
(but they are in the top-right window)
NEED FEEDBACK which ones ???
feeback: it is a conflict with a language file for alt-ergo (?)
it is caused by the language file for alt-ergo superseding the one for why3
* faire le menage dans les transformations d'induction : _int _ty
_ty_lex, et DOCUMENTER
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment