coq - The formal proof system

Age	Commit message (Expand)	Author
2011-07-29	Coq_omega: replaced generic = on constr by eq_constr	puech
2011-07-29	Quote: replaced generic = on constr by eq_constr	puech
2011-07-29	Coq_omega: replaced many generic = on constr by eq_constr	puech
2011-07-29	Newring: generic Pervasives.compare on constr replaced by constr_ord	puech
2011-07-29	Term: moved function constr_ord (a.k.a compare_constr) from Sequent to Term	puech
2011-07-29	Ccalgo, Ccproof: multiple generic Hashtbl on constr and term replaced by Cons...	puech
2011-07-29	Hahtbl_alt: separate generic combine functions	puech
2011-07-29	Newring: generic equality on constr replaced by constr_equal	puech
2011-07-29	Ccproof: generic equality on term replaced by term_equal	puech
2011-07-29	Tactics: generic equality on constr replaced by eq_constr	puech
2011-07-29	Class_tactics: generic equality on named_context_val replaced by eq_named_con...	puech
2011-07-29	Sequent: generic equality on global_reference replaced by RefOrdered.compare	puech
2011-07-29	Sequent: generic equality on kernel_name replaced by kn_ord	puech
2011-07-29	Sequent: generic equality on constr replaced by destructors	puech
2011-07-29	Sequent: generic equality on ident replaced by id_ord	puech
2011-07-29	Instances: generic equality on global_reference replaced by RefOrdered.compare	puech
2011-07-29	Unify: generic equality on constr replaced by eq_constr	puech
2011-07-29	Eqschemes: generic equality on constr replaced by eq_constr	puech
2011-07-29	Evarutil: generic equality on constr replaced by destructors	puech
2011-07-29	Heads: generic equality on constr replaced by destructor	puech
2011-07-29	Environ: generic equality on named_context replaced by named_context_equal	puech
2011-07-29	Evarconv: generic equality on constr replaced by eq_constr	puech
2011-07-29	Equality: generic equality on constr replaced by eq_constr	puech
2011-07-29	Cases: generic equality on constr replaced by destructors	puech
2011-07-29	Tactics: generic equality on constr replaced by eq_constr	puech
2011-07-29	Classops: generic equality on constr replaced by eq_constr	puech
2011-07-29	Class: generic equality on constr replaced by destructors	puech
2011-07-29	Evarutil: generic equality on constr replaced by eq_constr (x2)	puech
2011-07-29	Equality: generic equality on constr replaced by eq_constr	puech
2011-07-29	Tactics: generic equality on constr replaced by eq_constr	puech
2011-07-29	Tactics: generic equality on named_declaration replaced by eq_named_declaration	puech
2011-07-29	Term: added function eq_named_declaration	puech
2011-07-29	Evarutil: generic equality on constr replaced by eq_constr	puech
2011-07-29	Tacred: generic equality on constr replaced by eq_constr	puech
2011-07-29	Hipattern: two generic equalities on constr spotted & rewritten	puech
2011-07-29	Indtypes: remove useless and wrong generic equality test on constr array	puech
2011-07-29	Term: slight reorganization of the file	puech
2011-07-29	Term_typing, Typeops: replace some generic '=' on constr by eq_constr	puech
2011-07-29	Term: Refactoring of hashconsing	puech
2011-07-29	argument renaming in liftn (match with usual terminology)	puech
2011-07-28	Ide_slave: same attributes for { } and Focus/Unfocus (fix coqide display)	letouzey
2011-07-27	Coqide: GEdit.combo is deprecated since Gtk2.4! We now use GEdit.combo_box_en...	pboutill
2011-07-27	Oversight in revision 14292.	pboutill
2011-07-27	Typo of bug 2577	pboutill
2011-07-26	or_introl is now too complicated for basic tests of test-suite/output/PrintIn...	pboutill
2011-07-26	Partial revert of r14292	pboutill
2011-07-26	ide/coq_lex.mll: restore the separate parsing of .. (fix #2578)	letouzey
2011-07-26	Integral domains	pottier
2011-07-26	Ring2 devient Ncring et la reification par les type classes est partagee	pottier
2011-07-26	All the parameters of Compare are implicits.	pboutill