Walther Neuper <wneuper@ist.tugraz.at> [Mon, 26 Mar 2018 09:27:24 +0200] rev 59418
Rule + Celem: notes on futher cleanup
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 26 Mar 2018 09:20:09 +0200] rev 59417
Rule: Test_Isac works completely
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 26 Mar 2018 07:28:39 +0200] rev 59416
Rule: structure pushed to code files
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 25 Mar 2018 13:59:57 +0200] rev 59415
Celem: separate structure Rule
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 25 Mar 2018 11:57:33 +0200] rev 59414
Celem: clean source file
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 24 Mar 2018 14:41:32 +0100] rev 59413
Celem: cleanup signature
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 24 Mar 2018 14:34:47 +0100] rev 59412
Celem: Test_Isac works completely
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 23 Mar 2018 10:14:39 +0100] rev 59411
Celem: Test_Isac partially
"xxxe_rew_ordxxx" has slipped in with last changeset.
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 15 Mar 2018 15:48:52 +0100] rev 59410
Celem: tests within imports work, except All_Ctxt
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 15 Mar 2018 15:26:06 +0100] rev 59409
Celem: qualifiers not enforced by Build_Isac (+ previous "tuned")