wneuper/isa: File revisions

src/Tools/isac/BridgeJEdit/preliminary.sml

Thu, 11 Feb 2021 17:45:29 +0100	step 6.3: prep. clean Outer_Syntax..Problem from SPARK code	file \| diff \| annotate
Wed, 03 Feb 2021 16:39:44 +0100	Isac's MethodC not shadowing Isabelle's Method	file \| diff \| annotate
Wed, 03 Feb 2021 15:21:12 +0100	step 6.2: check test-Example: same errors with ParseC.problem .. ParseC.problem_headline	file \| diff \| annotate
Wed, 03 Feb 2021 14:53:37 +0100	step 5.1: adapt ParseC.specification to new keywords	file \| diff \| annotate
Fri, 22 Jan 2021 16:03:15 +0100	step 5.5: for devel. make test-example independent from session Isac	file \| diff \| annotate
Fri, 22 Jan 2021 14:56:44 +0100	step 5.4: clarify dependencies of BridgeJEdit.thy	file \| diff \| annotate
Fri, 22 Jan 2021 12:31:19 +0100	step 5.3: separate code for keyword Problem to preliminary file	file \| diff \| annotate
Fri, 22 Jan 2021 11:27:47 +0100	step 5.2: shift tests from Test_Parse_Isac.thy to test/../parseC.sml	file \| diff \| annotate
Sun, 17 Jan 2021 15:25:27 +0100	step 5.1: separate code for keyword Example to preliminary file	file \| diff \| annotate

wneuper/isa