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 |