index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
util.ml
Commit message (
Expand
)
Author
Age
...
*
Refl_omega: replaced some generic = on constr by eq_constr
puech
2011-07-29
*
Coq_omega: replaced generic = on constr by eq_constr
puech
2011-07-29
*
Evarutil: generic equality on constr replaced by eq_constr (x2)
puech
2011-07-29
*
Tactics: generic equality on constr replaced by eq_constr
puech
2011-07-29
*
For the beauty of tail recursion, a new list_addn
pboutill
2011-07-22
*
More work on error handling
letouzey
2011-05-17
*
Starting being more explicit on the reasons why module subtyping fails.
herbelin
2011-03-05
*
- Fix treatment of globality flag for typeclass instance hints (they
msozeau
2011-02-14
*
Added multiple implicit arguments rules per name.
herbelin
2010-10-03
*
Fixed a bug introduced (r13316/r13329) in the printing of notations
herbelin
2010-07-29
*
Constrintern: unified push_name_env and push_loc_name_env; made
herbelin
2010-07-22
*
Fixed a bug in list_forall2eq (wrong exception was caught).
herbelin
2010-07-20
*
Move [delayed] to util and use [force_delayed] everywhere to force
msozeau
2010-06-30
*
Extraction: replace unicode characters in ident by ascii encodings (fix #2158...
letouzey
2010-06-21
*
Fixing spelling: pr_coma -> pr_comma
herbelin
2010-06-12
*
Fix treatment of {struct x} annotations in presence of generalized
msozeau
2010-06-08
*
Add (almost) compatibility with camlp4, without breaking support for camlp5
letouzey
2010-05-19
*
Nicer representation of tokens, more independant of camlp*
letouzey
2010-05-19
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Added a new exception for already declared Schemes,
vsiles
2010-04-27
*
Reduced the complexity of evar instantiations from O(n^3) to less than O(n^2).
herbelin
2010-04-19
*
Util: remove list_split_at which is a clone of list_chop
letouzey
2010-04-16
*
Util.lowercase_unicode: avoid creating the segmenttree each time (speeds some...
letouzey
2010-02-15
*
Fix [Existing Class] impl and add documentation. Fix computation of the
msozeau
2010-02-10
*
* Segmenttree: New. A very simple implementation of segment trees.
regisgia
2010-01-08
*
* Rewrite [classify_unicode] using standard unicode tables.
regisgia
2009-12-20
*
Document Generalizable Variables, and change syntax to
msozeau
2009-11-15
*
Make usages of the Obj module explicit
glondu
2009-11-13
*
Experiment propagation of implicit arguments and arguments scope for
herbelin
2009-11-12
*
Revision 12439 continued, printing part (notations to names behave
herbelin
2009-10-29
*
Integrate a few improvements on typeclasses and Program from the equations br...
msozeau
2009-10-28
*
Fixed a hole in glob_tactic that allowed some Ltac code to refer to
herbelin
2009-09-26
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Generalized the possibility to refer to a global name by a notation
herbelin
2009-09-11
*
Accept more Unicode symbols
glondu
2009-06-10
*
- Adding "Hint Resolve ->" and "Hint Resolve <-" for declaration of equivalence
herbelin
2009-05-09
*
comparison functions on lists and arrays
barras
2009-04-16
*
A first pearl found by the Oug analyzer: there were two list_map_i in Util
letouzey
2009-04-08
*
Timeout message was not always displayed
barras
2009-03-04
*
Heavy modifications on the widget and edition tab creation mechanism.
vgross
2009-03-02
*
memoized is_ground_env
barras
2009-02-09
*
Petit nettoyage faisant suite au commit #11847 .
aspiwack
2009-01-23
*
Util.split_at : for quadratic to linear complexity
letouzey
2009-01-22
*
Remove trailing newlines in outputs of X -where
glondu
2009-01-08
*
Made the debugger work again:
herbelin
2009-01-02
*
- Fixed bugs and compatibilities issues in
herbelin
2008-12-30
*
- Another bug in get_sort_family_of (sort-polymorphism of constants and
herbelin
2008-12-28
*
- coq_makefile: target install now respects the original tree structure
herbelin
2008-12-24
*
Add some unicode symbols from japanese CJC (request by Y. Regis-Gianas)
letouzey
2008-12-15
*
eventually fixing r11612
barras
2008-11-24
[prev]
[next]