| 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 |