| Sat, 30 Mar 2013 17:13:21 +0100 | wenzelm | more formal cong_name; | changeset | files |
| Sat, 30 Mar 2013 16:34:02 +0100 | wenzelm | timing status for forked diagnostic commands; | changeset | files |
| Sat, 30 Mar 2013 16:16:24 +0100 | wenzelm | tooltip of command keyword includes timing information; | changeset | files |
| Sat, 30 Mar 2013 16:15:26 +0100 | wenzelm | more operations on Time, Timing; | changeset | files |
| Fri, 29 Mar 2013 18:57:47 +0100 | haftmann | reverted slip introduced in f738e6dbd844 | changeset | files |
| Sat, 30 Mar 2013 14:57:06 +0100 | wenzelm | added 'print_defn_rules' command; | changeset | files |
| Sat, 30 Mar 2013 13:40:19 +0100 | wenzelm | more item markup; | changeset | files |