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