src/Pure/par_tactical.ML
Tue, 13 Aug 2019 15:34:46 +0200 wenzelm added SUBPROOFS / "subproofs" method combinator, for more compact proofterms;
Wed, 09 May 2018 20:45:57 +0200 wenzelm clarified future scheduling parameters, with support for parallel_limit;
Mon, 19 Feb 2018 11:29:08 +0100 wenzelm misc tuning and clarification;
Sat, 06 Jun 2015 13:38:24 +0200 wenzelm more tight treatment of subgoals: main goal may refer to extra variables;
Sat, 08 Nov 2014 21:31:51 +0100 wenzelm optional proof context for unify operations, for the sake of proper local options;
Tue, 19 Aug 2014 18:11:04 +0200 wenzelm clarified modules;
less more (0) tip