diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-06-13 18:43:02 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-06-13 18:43:02 +0000 |
| commit | 092872618ffbeb3d6dbcae6770cbb3c7b53fa7a2 (patch) | |
| tree | c79b7e5058e0eb00236ad23871077a2771d39832 /interp/modintern.ml | |
| parent | a499845f0ad3cdc9f795ae0c66ed0f5e74fe7b89 (diff) | |
CoqIDE: 2 problèmes de undo encore:
- dans le "replay", l'état n'était pas correctement sauvegardé d'où une
perte d'efficacité en cas de rejeux répétés,
- bug de synchronisation dans le calcul de la pile des lemmes ouverts.
+ réajout de la variante standard de Set Printing All dans le menu display.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11125 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'interp/modintern.ml')
0 files changed, 0 insertions, 0 deletions