| Thu, 11 Oct 2007 10:23:09 +0200 | paulson | failure messages | changeset | files |
| Thu, 11 Oct 2007 00:33:43 +0200 | wenzelm | 'notation': allow structmixfix; | changeset | files |
| Thu, 11 Oct 2007 00:28:32 +0200 | wenzelm | update_modesyntax: may delete 'structure' notation as well; | changeset | files |
| Thu, 11 Oct 2007 00:28:30 +0200 | wenzelm | 'notation': allow 'structure' as well; | changeset | files |
| Wed, 10 Oct 2007 17:32:00 +0200 | wenzelm | removed redundant strip_vars/abs_eqn, use improved Drule.abs_def instead; | changeset | files |
| Wed, 10 Oct 2007 17:31:59 +0200 | wenzelm | replaced add_modesyntax by general update_modesyntax (add or del); | changeset | files |
| Wed, 10 Oct 2007 17:31:58 +0200 | wenzelm | added 'no_notation'; | changeset | files |
| Wed, 10 Oct 2007 17:31:56 +0200 | wenzelm | generalized notation interface (add or del); | changeset | files |