src/Doc/Implementation/Tactic.thy
2015-03-23 wenzelm 2015-03-23 support 'for' fixes in rule_tac etc.;
2015-03-20 wenzelm 2015-03-20 tuned signature;
2015-03-19 wenzelm 2015-03-19 more position information;
2015-02-10 wenzelm 2015-02-10 proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.; occasionally clarified use of context;
2014-11-10 wenzelm 2014-11-10 proper context for assume_tac (atac remains as fall-back without context);
2014-11-09 wenzelm 2014-11-09 proper context for match_tac etc.;
2014-11-09 wenzelm 2014-11-09 proper context for compose_tac, Splitter.split_tac (relevant for unify trace options);
2014-11-08 wenzelm 2014-11-08 optional proof context for unify operations, for the sake of proper local options;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-06-28 wenzelm 2014-06-28 misc tuning;
2014-04-15 wenzelm 2014-04-15 tuned spelling;
2014-04-09 wenzelm 2014-04-09 proper context for print_tac;
2014-04-05 haftmann 2014-04-05 closer correspondence of document and session names, while maintaining document names for external reference