| Thu, 11 Jul 2013 21:34:50 +0200 | nipkow | merged | changeset | files |
| Thu, 11 Jul 2013 21:34:37 +0200 | nipkow | added exercises | changeset | files |
| Thu, 11 Jul 2013 20:08:06 +0200 | smolkas | optimize isar-proofs by trying different proof methods | changeset | files |
| Thu, 11 Jul 2013 13:33:20 +0200 | smolkas | made SML/NJ happy | changeset | files |
| Thu, 11 Jul 2013 13:33:19 +0200 | smolkas | tuned | changeset | files |
| Thu, 11 Jul 2013 11:40:21 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 11 Jul 2013 11:37:06 +0200 | wenzelm | re-assign prints of unchanged eval only -- avoid crash of new_exec; | changeset | files |
| Thu, 11 Jul 2013 11:09:23 +0200 | wenzelm | tuned -- refrain from odd optimization; | changeset | files |
| Thu, 11 Jul 2013 10:43:53 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 10 Jul 2013 23:30:10 +0200 | wenzelm | added "echo" command for demonstration purposes; | changeset | files |
| Wed, 10 Jul 2013 23:25:28 +0200 | wenzelm | more abstract message channel; | changeset | files |
| Wed, 10 Jul 2013 22:56:48 +0200 | wenzelm | explicit shutdown of message output thread; | changeset | files |
| Wed, 10 Jul 2013 22:04:57 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 10 Jul 2013 21:54:43 +0200 | wenzelm | no need for raw stdin; | changeset | files |
| Wed, 10 Jul 2013 21:21:37 +0200 | wenzelm | fall back on synchronous message output for single-threaded SML/NJ; | changeset | files |