2007-07-06 | wenzelm | simplified pretty token metric: type int; | changeset | files |
2007-07-06 | wenzelm | simplified pretty token metric: type int; | changeset | files |
2007-07-06 | wenzelm | moved General/xml.ML to Tools/xml.ML; | changeset | files |
2007-07-06 | wenzelm | tuned; | changeset | files |
2007-07-06 | wenzelm | simplified output mode setup; | changeset | files |
2007-07-06 | wenzelm | added print_mode setup: indent and markup; | changeset | files |
2007-07-06 | wenzelm | renamed raw to escape; | changeset | files |
2007-07-06 | wenzelm | simplified pretty token metric: type int; | changeset | files |
2007-07-06 | wenzelm | moved General/xml.ML to Tools/xml.ML; | changeset | files |
2007-07-06 | wenzelm | added General/markup.ML; | changeset | files |
2007-07-06 | wenzelm | added class skolem, command; | changeset | files |
2007-07-06 | nipkow | more interpretations | changeset | files |
Loading... |