diff options
| author |  msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-10-06 14:43:08 +0000 |
|---|---|---|
| committer | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-10-06 14:43:08 +0000 |
| commit | 8c4a5bb1ea11540642c6b935411b358a31ad83da (patch) | |
| tree | 31c85987b61b0ad4ad09f1d7e9ad3c271ccee487 /tactics/setoid_replace.mli | |
| parent | 66ee4884f2c301eeac1f73deb97d6b50d1faa8bd (diff) | |
## Lines starting with '## ' will be removed from the log message.
## File(s) to commit:
## tools/coqdoc/index.mll
## tools/coqdoc/output.ml
## tools/coqdoc/pretty.mll
Various improvements to coqdoc:
- (Hopefully) better handling of brackets and notations like \in
(debugger with Stéphane Lescuyer).
- More indexed tactics and commands.
- Fix bug(?) in parsing of "[[" comments.
- Better interpolation of module and library names.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11432 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tactics/setoid_replace.mli')
0 files changed, 0 insertions, 0 deletions