haftmann [Sun, 17 Jul 2011 08:45:06 +0200] rev 44726
merged
haftmann [Sat, 16 Jul 2011 22:28:35 +0200] rev 44725
generalized some lemmas
haftmann [Sat, 16 Jul 2011 22:04:02 +0200] rev 44724
consolidated bot and top classes, tuned notation
haftmann [Sat, 16 Jul 2011 21:53:50 +0200] rev 44723
tuned notation
wenzelm [Sat, 16 Jul 2011 22:17:27 +0200] rev 44722
clarified bash_output_fifo;
wenzelm [Sat, 16 Jul 2011 20:52:41 +0200] rev 44721
moved bash operations to Isabelle_System (cf. Scala version);
wenzelm [Sat, 16 Jul 2011 20:14:58 +0200] rev 44720
access to process output stream via auxiliary fifo;
wenzelm [Sat, 16 Jul 2011 18:41:35 +0200] rev 44719
some file and directory operations;
wenzelm [Sat, 16 Jul 2011 18:20:02 +0200] rev 44718
more general bash_process, which allows to terminate background processes as well;
wenzelm [Sat, 16 Jul 2011 18:11:14 +0200] rev 44717
updated to Poly/ML SVN 1328, which is considered 5.4.2;