Thu, 10 Sep 2015 14:12:22 +0200 | wenzelm | tuned -- avoid slightly odd @{cpat}; | changeset | files |
Thu, 10 Sep 2015 11:59:12 +0200 | haftmann | dropped redundant NEWS | changeset | files |
Thu, 10 Sep 2015 11:47:14 +0200 | wenzelm | less ambitious options, to accomodate 4GB systems; | changeset | files |
Thu, 10 Sep 2015 11:03:29 +0200 | nipkow | tuned | changeset | files |
Wed, 09 Sep 2015 23:01:27 +0200 | wenzelm | clarified declaration flags, like 'declaration' command; | changeset | files |
Wed, 09 Sep 2015 21:51:44 +0200 | wenzelm | merged | changeset | files |