src/Tools/isac/Specify/p-spec.sml
Wed, 25 Nov 2020 12:44:43 +0100 adapt initialise Calculation to PIDE
Wed, 04 Nov 2020 09:59:30 +0100 separate code for Example from spark_open, resolve name clash
Wed, 03 Jun 2020 13:57:22 +0200 unify Pre_Conds.check, partially
Sun, 24 May 2020 17:03:40 +0200 shift code from I_Model to O_Model, finished
Tue, 19 May 2020 12:33:35 +0200 adapt test/../Specify/* to new files in src/../Specify/*
Mon, 18 May 2020 14:21:41 +0200 Specify/* removed all warnings, only "handle _" remains
Mon, 18 May 2020 14:02:54 +0200 sprep.cleanup Specification, Specify
Sat, 16 May 2020 16:23:24 +0200 shift code from Specification to I_Model, rename ids
Fri, 15 May 2020 14:22:05 +0200 prep. cleanup of Specification