src/HOL/Tools/watcher.ML
2007-12-06 wenzelm 2007-12-06 replaced Markup.enclose by Markup.markup, which operates on plain strings instead of raw output;
2007-11-12 wenzelm 2007-11-12 back to sigusr2, after Poly/ML 5.1 has been adapted;
2007-11-12 wenzelm 2007-11-12 changed Posix.Signal.usr2 to Posix.Signal.usr1 to make it work with Poly/ML 5.1;
2007-09-15 haftmann 2007-09-15 fixed title
2007-08-24 paulson 2007-08-24 Returning both a "one-line" proof and a structured proof
2007-08-21 paulson 2007-08-21 "sendback" to PG for one-line proof reconstructions
2007-06-29 paulson 2007-06-29 bug fixes to proof reconstruction