diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-04-25 17:41:20 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-04-25 17:41:20 +0000 |
| commit | 3f40ddb52ed52ea1e1939feaecf952269335500f (patch) | |
| tree | 196cbe579513ceeb07a86252944871ea78534f28 /toplevel/metasyntax.mli | |
| parent | 6e1041ad146ab3cf90cfdfad237ee1f6816a3db6 (diff) | |
- Fixing #2090 (occur check missing when trying to solve evar-evar equation).
- Adding test file related to commit 12080 (bug #2091).
- Cleaning old parsing stuff from 8.0.
- Support for camlp5 in base_include.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12106 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel/metasyntax.mli')
0 files changed, 0 insertions, 0 deletions