| Thu, 16 Apr 2015 12:37:30 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 16 Apr 2015 12:03:43 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Thu, 16 Apr 2015 11:22:36 +0200 | wenzelm | let the system choose Graph_Display.display_graph_old: thm_deps needs tree hierarchy, code_deps needs cycles (!?); | changeset | files |