| Sat, 18 Sep 2010 19:38:27 +0200 | wenzelm | mkfifo: some workaround to ensure reasonably unique id, even on Cygwin where $PPID might fall back on odd default; | file | diff | annotate |
| Sat, 18 Sep 2010 17:39:23 +0200 | wenzelm | Isabelle_System.mk_fifo: more robust enumeration of unique names, based on persisting JVM pid (parent of shell process); | file | diff | annotate |
| Mon, 09 Aug 2010 18:18:32 +0200 | wenzelm | Isabelle_Process: separate input fifo for commands (still using the old tty protocol); | file | diff | annotate |
| Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Tue, 21 Oct 2008 20:18:07 +0200 | wenzelm | tuned usage line; | file | diff | annotate |
| Fri, 29 Aug 2008 20:36:05 +0200 | wenzelm | use hardwired /tmp -- fifo only work on local file-system; | file | diff | annotate |
| Thu, 28 Aug 2008 19:31:13 +0200 | wenzelm | create named pipe; | file | diff | annotate |