| Mon, 18 Sep 2006 19:12:50 +0200 | wenzelm | Present.display_graph; | changeset | files |
| Mon, 18 Sep 2006 19:12:49 +0200 | wenzelm | added display_graph (from thm_deps.ML); | changeset | files |
| Mon, 18 Sep 2006 19:12:48 +0200 | wenzelm | output: uninterpreted raw symbols -- these are usually LaTeX macros; | changeset | files |