Mon, 26 Jan 2015 14:40:13 +0100 | hoelzl | spelling error | changeset | files |
Mon, 26 Jan 2015 14:34:10 +0100 | wenzelm | NEWS; | changeset | files |
Mon, 26 Jan 2015 14:31:39 +0100 | wenzelm | removed unused operations; | changeset | files |
Mon, 26 Jan 2015 13:48:29 +0100 | wenzelm | prefer plain session_graph.pdf over GraphBrowser applet; | changeset | files |
Mon, 26 Jan 2015 13:44:37 +0100 | wenzelm | complete pattern coverage, e.g. relevant for singleton graph; | changeset | files |
Sun, 25 Jan 2015 22:11:06 +0100 | wenzelm | discontinued obsolete option "document_graph"; | changeset | files |