| Thu, 16 Apr 2015 14:18:32 +0200 | wenzelm | explicit error for Toplevel.proof_of; | changeset | files |
| Thu, 16 Apr 2015 13:48:10 +0200 | wenzelm | clarified thy_deps; | changeset | files |
| Thu, 16 Apr 2015 13:39:21 +0200 | wenzelm | tuned; | changeset | files |
| 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 |