| Mon, 23 Jul 2012 15:32:30 +0200 | blanchet | include unknown local facts in MaSh | changeset | files |
| Mon, 23 Jul 2012 15:32:30 +0200 | blanchet | ensure all calls to "mash" program are synchronous | changeset | files |
| Mon, 23 Jul 2012 15:32:30 +0200 | blanchet | don't relearn old facts in Isar mode | changeset | files |
| Mon, 23 Jul 2012 15:32:30 +0200 | blanchet | took out CVC3 again -- there seems to be issues with the server version of CVC3 + minor tweaks | changeset | files |
| Mon, 23 Jul 2012 09:28:03 +0200 | haftmann | restrict unqualified imports from Haskell Prelude to a small set of fundamental operations | changeset | files |
| Mon, 23 Jul 2012 09:26:55 +0200 | haftmann | more correct import | changeset | files |
| Sun, 22 Jul 2012 23:36:11 +0200 | wenzelm | merged | changeset | files |