| Wed, 16 Sep 2015 23:48:35 +0200 | wenzelm | recode all text, which is relevant for Session.save on non-ASCII directory; | file | diff | annotate |
| Fri, 04 May 2012 17:14:42 +0200 | wenzelm | refrain from SIGHUP handling (cf. 5f629ee2502b), which does not work on Cygwin and appears to be redundant anyway (no extra output produced within pipe); | file | diff | annotate |
| Wed, 19 Jan 2011 21:45:50 +0100 | wenzelm | potentially more robust utf8 handling (cf. 3e4bb6e7c3ca); | file | diff | annotate |
| Wed, 03 Nov 2010 21:53:56 +0100 | wenzelm | feeder: treat header as escaped utf8 to allow initial ML text to refer to non-ASCII file/directory names (e.g. "Documents/" on Chinese Ubuntu); | file | diff | annotate |
| Tue, 21 Sep 2010 22:08:13 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Sat, 20 Dec 2008 11:55:34 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |