aboutsummaryrefslogtreecommitdiff
path: root/Init.v
AgeCommit message (Expand)Author
2017-05-19Stdlib functions now return Ltac2 exceptions.Pierre-Marie Pédrot
2017-05-19Proper handling of exception definition in Ltac2.Pierre-Marie Pédrot
2017-05-19Fixing a precedence issue in type parameters.Pierre-Marie Pédrot