Wed, 22 Apr 2015 23:26:14 +0200 | blanchet | avoid binding warning in Nitpick | changeset | files |
Wed, 22 Apr 2015 19:52:29 +0200 | blanchet | doc | changeset | files |
Wed, 22 Apr 2015 20:16:28 +0200 | wenzelm | clarified permissions; | changeset | files |
Wed, 22 Apr 2015 20:14:43 +0200 | wenzelm | allow diagnostic proof commands with skip_proofs; | changeset | files |
Wed, 22 Apr 2015 19:48:32 +0200 | wenzelm | tuned signature; | changeset | files |
Wed, 22 Apr 2015 18:43:33 +0200 | wenzelm | updated polyml according to fixes-5.5.2 SVN version 2009; | changeset | files |