Tue, 23 Jul 2013 13:10:27 +0200 | traytel | separate ML interface to note facts of a bnf | changeset | files |
Mon, 22 Jul 2013 21:12:15 +0200 | traytel | transfer rule for map (not yet registered as a transfer rule) | changeset | files |
Sun, 21 Jul 2013 14:02:33 +0200 | nipkow | tuned exercises | changeset | files |
Sat, 20 Jul 2013 16:45:00 +0200 | wenzelm | clarified option name, with improved sort order wrt. "time" options; | changeset | files |
Sat, 20 Jul 2013 16:29:06 +0200 | wenzelm | document update at high priority -- important; | changeset | files |
Sat, 20 Jul 2013 16:27:55 +0200 | wenzelm | option editor_execution_priority; | changeset | files |
Sat, 20 Jul 2013 16:18:17 +0200 | wenzelm | obscure options; | changeset | files |
Sat, 20 Jul 2013 16:16:23 +0200 | wenzelm | print_state at high priority -- fast and important; | changeset | files |