From e3b1bc4df7ab2834d614fe6ab67d9e8b31e7330c Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Tue, 6 Nov 2012 10:49:49 +0100
Subject: [PATCH] Update roadmap.
---
ROADMAP | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/ROADMAP b/ROADMAP
index 20b4f990e6..984464f056 100644
--- a/ROADMAP
+++ b/ROADMAP
@@ -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
--
GitLab