Sun, 08 Mar 2009 15:01:10 +0100 | wenzelm | index_ML: removed spurious writeln introduced in 41ce4f5c97c9 -- it merely produces unreadable LaTeX sources; | changeset | files |
Sun, 08 Mar 2009 12:16:12 +0100 | wenzelm | proper context for Simplifier.pretty_ss; | changeset | files |