Commit 6dfcf274 authored by MARCHE Claude's avatar MARCHE Claude

roadmap

parent ed3ae39a
......@@ -43,6 +43,22 @@
=== Roadmap for fourth release ========================
* Final preparation:
** put on the web page
*** why3-0.71.tar.gz
*** manual in PDF: check that macro \todo can be commented out
from ./macros.tex
*** API doc in HTML (suggestion: http://why3.lri.fr/api/)
Note: check that URL of API doc is correct in doc/api.tex line 9.
** What to put in the announcement ?
- why3replayer improved ?
- other ?
** The last commit:
*** increment the magic number in config
*** add a tag to the git repository
*** The next commit : increment de why3 version
* Coq plugin
* Coq realization of theories
......@@ -66,7 +82,7 @@
* add "ctrl-S" to save the session explicitly
(partially done, but no shortcut)
* replayer: don't replay a goal that has changed, just display as an
* DONE replayer: don't replay a goal that has changed, just display as an
unsuccessful replay
* DOC:
......
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