aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/ProgramWf.v
Commit message (Expand)AuthorAge
* Open Local Scope ---> Local Open Scope, same with Notation and aliiGravatar letouzey2012-07-05
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Fix bugs related to Program integration.Gravatar msozeau2012-03-19
* Quick hack to avoid anomaly on using Program w/o having required JMeq.Gravatar herbelin2011-11-30
* Fix test-suite scripts: [Generalizable Variables] and small Gravatar msozeau2009-11-13
* Add the option to automatically introduce variables declared before theGravatar msozeau2009-09-22
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Avoid inadvertent declaration of "on" as a keyword. New syntax isGravatar msozeau2009-03-29
* Rewrite of Program Fixpoint to overcome the previous limitations: Gravatar msozeau2009-03-28