coq - The formal proof system

Age	Commit message (Expand)	Author
2016-05-08	Removing dead code and unused opens.	Pierre-Marie Pédrot
2016-05-04	Removing useless generic arguments.	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 "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	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-03-21	Creating a dedicated ltac/ folder for Hightactics.	Pierre-Marie Pédrot