isabelle: File revisions

src/HOL/Tools/Mirabelle/mirabelle.ML

Sun, 06 Jun 2021 21:17:23 +0200	wenzelm	suppress theories from other sessions, unless explicitly specified via mirabelle_theories;	file \| diff \| annotate
Sun, 06 Jun 2021 20:29:52 +0200	wenzelm	clarified hook for Mirabelle: provide all loaded theories at once (for each 'theories' section within the session ROOT);	file \| diff \| annotate
Sun, 06 Jun 2021 16:34:57 +0200	wenzelm	refer to theory "segments" only, according to global Build.build_theories and Thy_Info.use_theories;	file \| diff \| annotate
Fri, 04 Jun 2021 23:55:35 +0200	wenzelm	tuned --- reduced source complexity;	file \| diff \| annotate
Fri, 04 Jun 2021 23:03:12 +0200	desharna	moved stride option from sledgehammer action to main mirabelle	file \| diff \| annotate
Sat, 15 May 2021 22:06:05 +0200	wenzelm	reactive "sledgehammer";	file \| diff \| annotate
Sat, 15 May 2021 13:25:52 +0200	wenzelm	clarified signature;	file \| diff \| annotate
Fri, 14 May 2021 21:32:11 +0200	wenzelm	reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;	file \| diff \| annotate \| base

isabelle