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 |
Thu, 16 Apr 2015 15:55:55 +0200 | noschinl | rewrite: use distinct names for unnamed abstractions | changeset | files |
Wed, 15 Apr 2015 22:27:31 +0200 | wenzelm | avoid mix of languages; | changeset | files |
Wed, 15 Apr 2015 22:20:22 +0200 | wenzelm | merged | changeset | files |
Wed, 15 Apr 2015 21:20:37 +0200 | wenzelm | NEWS; | changeset | files |