| Wed, 27 May 2009 15:24:01 +0200 | immler | treat comments like seperate commands, | changeset | files |
| Wed, 27 May 2009 14:56:49 +0200 | immler | split large changes for faster responses of prover | changeset | files |
| Mon, 25 May 2009 14:36:40 +0200 | immler | changed handling of subdirectories | changeset | files |
| Sat, 30 May 2009 12:11:03 +0200 | wenzelm | more accurate setup for "jEdit" project; | changeset | files |
| Sat, 23 May 2009 14:26:51 +0200 | wenzelm | recovered iso-latin-1 text; | changeset | files |
| Fri, 22 May 2009 17:36:45 +0200 | immler | improved handling of markup-information with command=null | changeset | files |
| Fri, 22 May 2009 16:47:11 +0200 | immler | implemented links to other files | changeset | files |
| Fri, 22 May 2009 14:47:57 +0200 | immler | implemented IsabelleHyperlinkSource (only links inside the current buffer) | changeset | files |