Commit fad93bab authored by Guillaume Melquiond's avatar Guillaume Melquiond

Add some TODOs.

parent 68d918fa
......@@ -114,6 +114,15 @@ https://gforge.inria.fr/tracker/index.php?func=detail&aid=13736&group_id=2990
* (JCF) reject global "val"s in typing environment for logic decls.
* documentation
** avoir une version html et la mettre sur le web
* sessions
** mettre la dtd sur le web et changer l'entête des sessions pour qu'elles
pointent dessus
** 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 ========================
scheduled on Sep 2012
......
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