| 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 |
| Sun, 25 Jan 2015 18:31:35 +0100 | wenzelm | make it independent from GUI thread, e.g. for Graph_File.write; | changeset | files |
| Sun, 25 Jan 2015 17:48:14 +0100 | wenzelm | separate module Graph_File; | changeset | files |
| Sun, 25 Jan 2015 17:17:37 +0100 | wenzelm | tuned comments; | changeset | files |
| Sun, 25 Jan 2015 15:40:28 +0100 | wenzelm | tuned; | changeset | files |