coq - The formal proof system

Age	Commit message (Expand)	Author
2016-05-04	Removing the Value.of_* API for parameterized types.	Pierre-Marie Pédrot
2016-05-04	Moving the Val module to Geninterp.	Pierre-Marie Pédrot
2016-05-04	Simplifying the code of Tacinterp.	Pierre-Marie Pédrot
2016-05-04	Getting rid of the Geninterp.generic_interp function.	Pierre-Marie Pédrot
2016-05-04	Switching to an untyped toplevel representation for Ltac values.	Pierre-Marie Pédrot
2016-04-27	Revert "In the short term, stronger invariant on the syntax of TacAssert, what"	Hugo Herbelin
2016-04-27	Revert "Honor parsing and printing levels for tactic entry in TACTIC EXTEND and"	Hugo Herbelin
2016-04-27	Revert "Passing around the precedence to the generic printer so as to solve"	Hugo Herbelin
2016-04-27	Revert "When interpreting "match goal with ... end" in ltac, expand evars by"	Hugo Herbelin
2016-04-27	Revert "Fixing space in an error message."	Hugo Herbelin
2016-04-27	Revert "Revert "Honor parsing and printing levels for tactic entry in TACTIC ...	Hugo Herbelin
2016-04-27	Revert "Honor parsing and printing levels for tactic entry in TACTIC EXTEND and"	Hugo Herbelin
2016-04-27	Fixing space in an error message.	Hugo Herbelin
2016-04-27	When interpreting "match goal with ... end" in ltac, expand evars by	Hugo Herbelin
2016-04-27	Passing around the precedence to the generic printer so as to solve	Hugo Herbelin
2016-04-27	Honor parsing and printing levels for tactic entry in TACTIC EXTEND and	Hugo Herbelin
2016-04-27	In the short term, stronger invariant on the syntax of TacAssert, what	Hugo Herbelin
2016-04-27	Attempt to slightly improve abusive "Collision between bound	Hugo Herbelin
2016-04-15	Merge remote-tracking branch 'OFFICIAL/trunk' into morefresh	Pierre Courtieu
2016-04-11	Removing the ad-hoc tactic_expr type.	Pierre-Marie Pédrot
2016-04-08	Fixing printing of toplevel values.	Pierre-Marie Pédrot
2016-03-25	Moving type_uconstr to Pretyping.	Pierre-Marie Pédrot
2016-03-21	Creating a dedicated ltac/ folder for Hightactics.	Pierre-Marie Pédrot