diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-26 19:05:31 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-26 19:05:31 +0000 |
| commit | fb1bbb3272faff2c567a4d9359b1805b519ee773 (patch) | |
| tree | e28a38b5973618b25bbfeed1bab2a7607abf5ac9 /TODO | |
| parent | b2d466f40dbf40fa6404d98228325cf97da2748c (diff) | |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@964 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -6,7 +6,7 @@ Environnement: - Porter SearchIsos - Require synchronisé -- Interdire de faire 2 fois la même définition avec le même nom absolu +- Interdire de faire 2 fois la même définition avec le même nom absolu FAIT Tactiques: @@ -39,3 +39,4 @@ Doc: - revoir le chapitre sur les tactiques utilisateur - clarifier la sémantique de Decompose (i.e. travaille pas sous les ->) - faut-il mieux spécifier la sémantique de Simpl (??) +- vérifier si Print Table id est à jour
\ No newline at end of file |