| Sun, 25 Jan 2015 22:11:06 +0100 | wenzelm | discontinued obsolete option "document_graph"; | changeset | files |
| Sun, 25 Jan 2015 21:46:21 +0100 | wenzelm | provide session_graph.pdf via Isabelle/Scala; | changeset | files |
| Sun, 25 Jan 2015 20:22:20 +0100 | wenzelm | support for session graph from Scala side; | changeset | files |
| Sun, 25 Jan 2015 20:16:27 +0100 | wenzelm | support for off-line graph output, without GUI thread; | changeset | files |