| Sun, 22 Mar 2009 20:49:47 +0100 | wenzelm | export report -- version that actually covers all cases; | changeset | files |
| Sun, 22 Mar 2009 19:12:36 +0100 | wenzelm | Test of advanced ML compiler invocation in Poly/ML 5.3. | changeset | files |
| Sun, 22 Mar 2009 19:11:00 +0100 | wenzelm | ML/ml_test.ML: test of advanced ML compiler invocation in Poly/ML 5.3; | changeset | files |
| Sun, 22 Mar 2009 19:10:59 +0100 | wenzelm | added pretty_ml; | changeset | files |
| Sun, 22 Mar 2009 19:10:59 +0100 | wenzelm | export eval_antiquotes: refined version that operates on ML tokens; | changeset | files |
| Sun, 22 Mar 2009 19:10:59 +0100 | wenzelm | ML_Lex.pos_of: regular position; | changeset | files |
| Sun, 22 Mar 2009 19:10:58 +0100 | wenzelm | replaced Antiquote.is_antiq by Antiquote.is_text; | changeset | files |