| Sat, 06 Jun 2015 13:38:24 +0200 | wenzelm | more tight treatment of subgoals: main goal may refer to extra variables; | file | diff | annotate |
| Sat, 08 Nov 2014 21:31:51 +0100 | wenzelm | optional proof context for unify operations, for the sake of proper local options; | file | diff | annotate |
| Tue, 19 Aug 2014 18:11:04 +0200 | wenzelm | clarified modules; | file | diff | annotate |