| Tue, 13 Aug 2019 15:34:46 +0200 | wenzelm | added SUBPROOFS / "subproofs" method combinator, for more compact proofterms; | file | diff | annotate |
| Wed, 09 May 2018 20:45:57 +0200 | wenzelm | clarified future scheduling parameters, with support for parallel_limit; | file | diff | annotate |
| Mon, 19 Feb 2018 11:29:08 +0100 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| 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 |