| Wed, 15 Apr 2015 21:20:37 +0200 | wenzelm | NEWS; | changeset | files |
| Wed, 15 Apr 2015 21:20:27 +0200 | wenzelm | ensure that deps are defined in entries, to prevent crash of Graph_View.build_graph; | changeset | files |
| Wed, 15 Apr 2015 20:00:18 +0200 | wenzelm | updated to jdk-7u80, the latest and last public release of Java 7; | changeset | files |
| Wed, 15 Apr 2015 19:08:37 +0200 | wenzelm | session graph with folded base theories, as in document preparation; | changeset | files |
| Wed, 15 Apr 2015 17:34:45 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 15 Apr 2015 16:48:24 +0200 | noschinl | merged | changeset | files |
| Wed, 15 Apr 2015 15:10:01 +0200 | noschinl | rewrite: add ML interface | changeset | files |