Walther Neuper <wneuper@ist.tugraz.at> [Sun, 25 Feb 2018 14:02:42 +0100] rev 59387
Calc: cleanup source file
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 25 Feb 2018 12:36:23 +0100] rev 59386
separate structure Calc : NUMERAL_CALCULATION
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 25 Feb 2018 12:18:47 +0100] rev 59385
Rewrite: cleanup test file
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 25 Feb 2018 10:19:18 +0100] rev 59384
Rewrite: clean tests
Walther Neuper <wneuper@ist.tugraz.at> [Sun, 25 Feb 2018 07:13:47 +0100] rev 59383
Rewrite: test on "exception TERM" in Build_Isac repaired
store in order to continue Test_Isac
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 24 Feb 2018 16:09:24 +0100] rev 59382
Rewrite is broken; intermediate state for repair
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 24 Feb 2018 11:14:56 +0100] rev 59381
Rewrite: cleanup source file
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 23 Feb 2018 07:29:36 +0100] rev 59380
separate structure Rewrite : REWRITE
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 23 Feb 2018 07:03:07 +0100] rev 59379
clean open for tests
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 23 Feb 2018 06:50:06 +0100] rev 59378
tuned redundant pattern in fun def.