wneuper/isa: File revisions

test/Pure/Isar/Check_Outer_Syntax.thy

Fri, 12 Mar 2021 13:25:51 +0100	Isabelle2020->21: adapt SPARK to tests	file \| diff \| annotate
Tue, 24 Nov 2020 15:45:08 +0100	integration 1: make Outer\_Syntax..Example run as spark_open ?greatest_common_divisor/g_c_d?	file \| diff \| annotate
Mon, 16 Nov 2020 10:26:40 +0100	tuned	file \| diff \| annotate
Mon, 02 Nov 2020 15:16:07 +0100	prepare Outer_Syntax.command..spark_open as model	file \| diff \| annotate
Mon, 26 Oct 2020 13:52:26 +0100	copy Outer_Syntax.command..spark_open as model for Isac Calculation	file \| diff \| annotate
Thu, 22 Oct 2020 14:03:40 +0200	various trials to decompose Isabelle's proof machinery	file \| diff \| annotate
Wed, 07 Oct 2020 11:52:54 +0200	resume parsers for shifting Isac inbetween Isabelle/jEdit and Isabelle/HOL	file \| diff \| annotate
Sat, 05 Sep 2020 14:50:01 +0200	trial 2 including problem parser into ISAC ?Problem..?	file \| diff \| annotate
Wed, 02 Sep 2020 17:40:02 +0200	separate investigation of Outer_Syntax... to Check_Outer_Syntax.thy	file \| diff \| annotate

wneuper/isa