Mon, 06 Sep 2010 13:06:27 +0200 | wenzelm | some results of concurrency code inspection; | changeset | files |
Mon, 06 Sep 2010 12:38:45 +0200 | wenzelm | merged; | changeset | files |
Mon, 06 Sep 2010 11:53:42 +0200 | blanchet | mention ~/.isabelle/etc/settings file | changeset | files |
Mon, 06 Sep 2010 11:28:06 +0200 | blanchet | make remote ATP invocation work for those people who need to go through a proxy; | changeset | files |
Sun, 05 Sep 2010 21:39:30 +0200 | krauss | enabled do notation for option type | changeset | files |
Sun, 05 Sep 2010 21:39:24 +0200 | krauss | removed duplicate lemma | changeset | files |