Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Do not display the status of monomorphic constants unless in universe-polymor... | 2015-03-09 | |
* | Upgrading output tests. | 2014-08-12 | |
* | Fixing output test-suite: since universe polymorphism, the Print command | 2014-05-08 | |
* | Fixing some tests from the test-suite. | 2013-09-03 | |
* | Fixing superflous newline in output of About when no parameter is renamed. | 2011-12-04 | |
* | theories/, plugins/ and test-suite/ ported to the Arguments vernacular | 2011-11-21 | |
* | Documentation Prop<=Set et Arguments Scope Global | 2008-07-01 |