| Fri, 19 Dec 2008 23:54:24 +0100 | wenzelm | proper spelling of JEDIT_JAVA_OPTIONS; | changeset | files |
| Fri, 19 Dec 2008 23:11:08 +0100 | wenzelm | added some headers and comments; | changeset | files |
| Fri, 19 Dec 2008 22:24:32 +0100 | wenzelm | added some headers and comments; | changeset | files |
| Thu, 18 Dec 2008 01:10:20 +0100 | immler | restructured: independent provers in different buffers | changeset | files |
| Mon, 15 Dec 2008 16:34:19 +0100 | immler | added 'delay or ignore' | changeset | files |
| Mon, 15 Dec 2008 16:23:17 +0100 | immler | delayed repainting new phase in buffer and overview; | changeset | files |