| Sat, 16 Jul 2011 20:14:58 +0200 | wenzelm | access to process output stream via auxiliary fifo; | changeset | files |
| Sat, 16 Jul 2011 18:41:35 +0200 | wenzelm | some file and directory operations; | changeset | files |
| Sat, 16 Jul 2011 18:20:02 +0200 | wenzelm | more general bash_process, which allows to terminate background processes as well; | changeset | files |
| Sat, 16 Jul 2011 18:11:14 +0200 | wenzelm | updated to Poly/ML SVN 1328, which is considered 5.4.2; | changeset | files |
| Sat, 16 Jul 2011 17:11:49 +0200 | wenzelm | added File.fold_pages for streaming of large files; | changeset | files |
| Sat, 16 Jul 2011 16:51:12 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 16 Jul 2011 00:01:17 +0200 | Cezary Kaliszyk | HOL/Import: Fix errors with _mk_list | changeset | files |