| Fri, 06 Sep 2013 21:13:19 +0200 | wenzelm | warm start of Isabelle/jEdit from Isabelle/Scala; | changeset | files |
| Fri, 06 Sep 2013 18:15:25 +0200 | wenzelm | prefer explicit thread; | changeset | files |
| Fri, 06 Sep 2013 18:14:50 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 06 Sep 2013 17:55:01 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 06 Sep 2013 17:26:58 +0200 | wenzelm | prefer Isabelle/Scala over bash; | changeset | files |
| Fri, 06 Sep 2013 17:20:48 +0200 | wenzelm | prefer Isabelle/Scala over bash; | changeset | files |
| Fri, 06 Sep 2013 17:01:49 +0200 | wenzelm | prefer warm start via JEdit_Main; | changeset | files |
| Fri, 06 Sep 2013 20:59:36 +0200 | haftmann | slight cleanup of lemma locations; tuned proof | changeset | files |
| Fri, 06 Sep 2013 20:55:14 +0200 | haftmann | tuned | changeset | files |
| Fri, 06 Sep 2013 15:47:51 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 06 Sep 2013 12:46:50 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 06 Sep 2013 12:22:00 +0200 | wenzelm | removed junk; | changeset | files |
| Fri, 06 Sep 2013 12:05:01 +0200 | wenzelm | more standard header; | changeset | files |
| Fri, 06 Sep 2013 12:00:58 +0200 | wenzelm | updated keywords; | changeset | files |
| Fri, 06 Sep 2013 10:57:27 +0200 | noschinl | merged | changeset | files |
| Fri, 06 Sep 2013 10:56:40 +0200 | noschinl | added examples for Simps_Case_Conv | changeset | files |
| Fri, 06 Sep 2013 10:56:40 +0200 | noschinl | allowed less exhaustive patterns | changeset | files |
| Fri, 06 Sep 2013 10:56:40 +0200 | noschinl | use case_of_simps | changeset | files |
| Fri, 06 Sep 2013 10:56:40 +0200 | noschinl | use case_of_simps | changeset | files |
| Fri, 06 Sep 2013 10:56:40 +0200 | noschinl | added simps_of_case and case_of_simps to convert between simps and case rules | changeset | files |
| Thu, 05 Sep 2013 23:14:28 +0200 | wenzelm | merged | changeset | files |
| Thu, 05 Sep 2013 22:08:25 +0200 | wenzelm | close window and start process asynchronously; | changeset | files |
| Thu, 05 Sep 2013 21:37:32 +0200 | wenzelm | more explicit cygwin_root (again) -- do not rely on isabelle_home as cwd; | changeset | files |
| Thu, 05 Sep 2013 21:11:16 +0200 | wenzelm | recovered cygwin.root from 1c87e79bb838; | changeset | files |