index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
coqdoc
/
cpretty.mll
Age
Commit message (
Expand
)
Author
2010-03-06
Adding Function as keyword for coqdoc
thery
2010-01-28
Fix previous commit
notin
2010-01-28
Typo in previous commit
notin
2010-01-28
Correction du bug #2219: application du patch envoyé par F. Garillot
notin
2009-12-01
Fix make_exact_entry to allow applying [forall x, P x] hints directly,
msozeau
2009-11-12
Suppression de l'appel à Lexing.new_line (qui n'existe pas dans les versions...
notin
2009-11-06
Misc fixes.
msozeau
2009-10-28
Integrate a few improvements on typeclasses and Program from the equations br...
msozeau
2009-10-13
Better handling of emphasis.
msozeau
2009-09-17
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-10
Fixes for toc depth handling and handling of substitles from Chris Casinghino.
msozeau
2009-09-08
Update coqdoc documentation, CHANGES and add a fix for the proofbox (patch
msozeau
2009-09-04
Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,
msozeau
2009-09-03
Add --plain-comments patch by F. Garillot, which also adds
msozeau
2009-07-09
Allow coqdoc comments inside definition bodies.
msozeau
2009-04-08
Take formatted into account in rules for dot.
msozeau
2009-04-06
Fix behavior on newlines with parse-comments and also do [] escaping as
msozeau
2009-03-24
Fix coqdoc bugs reported by Ian Lynagh.
msozeau
2009-03-24
pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)
letouzey
