| Sun, 26 Jan 2014 14:01:19 +0100 | wenzelm | discontinued obsolete attribute "standard"; | file | diff | annotate |
| Wed, 22 Jan 2014 17:02:05 +0100 | wenzelm | prefer rail cartouche -- avoid back-slashed quotes; | file | diff | annotate |
| Fri, 17 Jan 2014 20:20:20 +0100 | wenzelm | clarified @{rail} syntax: prefer explicit \<newline> symbol; | file | diff | annotate |
| Fri, 17 May 2013 20:53:28 +0200 | wenzelm | renamed 'print_configs' to 'print_options'; | file | diff | annotate |
| Thu, 16 May 2013 17:39:38 +0200 | wenzelm | tuned signature -- depend on context by default; | file | diff | annotate |
| Thu, 18 Apr 2013 17:07:01 +0200 | wenzelm | simplifier uses proper Proof.context instead of historic type simpset; | file | diff | annotate |
| Fri, 12 Apr 2013 17:21:51 +0200 | wenzelm | modifiers for classical wrappers operate on Proof.context instead of claset; | file | diff | annotate |