| Mon, 13 May 2013 20:26:34 +0200 | wenzelm | clean startup of RAW session; | changeset | files |
| Mon, 13 May 2013 20:15:06 +0200 | wenzelm | dummy PGIP id, which appears to be sufficient for PG/Emacs; | changeset | files |
| 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); | changeset | files |
| Mon, 13 May 2013 16:40:59 +0200 | wenzelm | merged | changeset | files |