index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev
/
printers.mllib
Age
Commit message (
Expand
)
Author
2010-04-22
Here comes the commit, announced long ago, of the new tactic engine.
aspiwack
2010-04-05
Added a function in typing.ml to solve evars of a constr w/o going back down ...
herbelin
2010-01-12
Added module sharing support for typeclasses and hints (pri_auto_tactic).
soubiran
2010-01-08
* Segmenttree: New. A very simple implementation of segment trees.
regisgia
2009-12-24
In "simpl c" and "change c with d", c can be a pattern.
herbelin
2009-12-20
* Rewrite [classify_unicode] using standard unicode tables.
regisgia
2009-11-11
Improving abbreviations/notations + backtrack of semantic change in r12439
herbelin
2009-11-09
A bit of cleaning around name generation + creation of dedicated file namegen.ml
herbelin
2009-10-21
This big commit addresses two problems:
soubiran
2009-09-17
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-04-27
- Cleaning (unification of ML names, removal of obsolete code,
herbelin
2009-03-20
Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey
