| Sat, 03 Mar 2012 21:52:15 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 03 Mar 2012 21:43:59 +0100 | wenzelm | canonical argument order for attribute application; | changeset | files |
| Sat, 03 Mar 2012 18:18:39 +0100 | wenzelm | clarified terminology of raw protocol messages; | changeset | files |
| Sat, 03 Mar 2012 17:46:50 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 03 Mar 2012 17:30:14 +0100 | wenzelm | tuned signature -- emphasize Isabelle_Process Input vs. Output; | changeset | files |
| Sat, 03 Mar 2012 16:59:30 +0100 | wenzelm | explicit syslog_limit reduces danger of low-level message flooding; | changeset | files |