isabelle: File revisions

src/Pure/System/isabelle_system.scala

Mon, 15 Jul 2013 22:11:36 +0200	wenzelm	Scala version of init.bat;	file \| diff \| annotate
Wed, 22 May 2013 16:01:08 +0200	wenzelm	more robust command line -- accomodate /bin/kill on recent Linux (e.g. Xubuntu 13.04):	file \| diff \| annotate
Fri, 17 May 2013 21:15:33 +0200	wenzelm	timeout counts as regular error, with rc = 1 (cf. special Exn.Interrupt vs. regular TimeLimit.TimeOut in Isabelle/ML);	file \| diff \| annotate
Mon, 13 May 2013 20:35:04 +0200	wenzelm	recovered informative progress from 016cb7d8f297;	file \| diff \| annotate
Mon, 13 May 2013 19:52:16 +0200	wenzelm	limit build process output, to avoid bombing Isabelle/Scala process by ill-behaved jobs (e.g. Containers in AFP/9025435b29cf);	file \| diff \| annotate
Mon, 29 Apr 2013 17:01:13 +0200	wenzelm	cygwin_root as optional argument;	file \| diff \| annotate
Thu, 04 Apr 2013 17:47:28 +0200	wenzelm	separate module "GUI", to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;	file \| diff \| annotate

isabelle