| Tue, 25 Sep 2012 20:28:47 +0200 | wenzelm | ML support for generic graph display, with browser and graphview backends (via print modes); | changeset | files |
| Tue, 25 Sep 2012 18:24:49 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 25 Sep 2012 16:55:32 +0200 | wenzelm | more complete build; | changeset | files |
| Tue, 25 Sep 2012 16:48:33 +0200 | wenzelm | proper error message; | changeset | files |
| Tue, 25 Sep 2012 15:40:41 +0200 | wenzelm | separate module Graph_Display; | changeset | files |
| Tue, 25 Sep 2012 14:32:41 +0200 | wenzelm | added graph encode/decode operations; | changeset | files |
| Tue, 25 Sep 2012 12:17:58 +0200 | wenzelm | tuned; | changeset | files |