| Sun, 11 Apr 2010 13:08:14 +0200 | wenzelm | of_sort_derivation: pass-through full type information -- following the version by krauss/schropp; | changeset | files |
| Fri, 09 Apr 2010 13:35:54 +0200 | wenzelm | include JEDIT_APPLE_PROPERTIES by default; | changeset | files |
| Fri, 09 Apr 2010 11:35:50 +0200 | wenzelm | isatest: more uniform setup for Unix vs. Cygwin; | changeset | files |
| Thu, 08 Apr 2010 22:39:06 +0200 | boehmes | added missing case: meta universal quantifier | changeset | files |
| Thu, 08 Apr 2010 08:17:27 +0200 | bulwahn | added imperative SAT checker; improved headers of example files; adopted IsaMakefile | changeset | files |
| Wed, 07 Apr 2010 22:22:49 +0200 | ballarin | Merged. | changeset | files |