Commit b3900e7b authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

a few updates following Feb 8 meeting

parent 9864ca70
......@@ -24,8 +24,8 @@ First run
to build the file ./configure, then follows instructions from the
above section.
to build the file ./configure, then follow instructions from the
section above.
Detailed instructions
......@@ -55,7 +55,10 @@
** M2. Lieur en Why3, POPLmark challenge. vers
un theorie et/ou un module réutilisable de lieurs
** (M2?) Stage Airbus, "TIP" avec Frama-C/Jessie ou WP/Why/Coq
besoin du plugin Coq?
besoin du plugin Coq?
** detect dynlink.cmxa, and switch to bytecode if not found
* PRIORITAIRE, JCF et ANDREI, clone de module
** demarche: ecrire une API avec smart constructors garantissant
......@@ -125,6 +128,8 @@ NON PRIORITAIRE ?
** make the glossary available
* IDE:
** enlarge font (menu + shortcut Ctrl-+)
** Ctrl-A to select all rows
** saving session
* add "ctrl-S" to save the session explicitly
(partially done, but no shortcut)
......@@ -132,7 +137,10 @@ NON PRIORITAIRE ?
** restore provers detection in the middle of a session.
+ todo: run detection immediately at start up if conf file absent or
outdated. should become doable with the new Session module
** syntax highlighting
some keywords are not colored in the bottom-right window
(but they are in the top-right window)
** add a scrollbar for the left panel
=== Roadmap for release 0.71 ========================
# Why version
Supports Markdown
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