Mon, 20 Apr 2020 15:54:19 +0200 |
separate Check_Unique, an exercise in higher order funs
|
file | diff | annotate |
Sun, 19 Apr 2020 16:43:53 +0200 |
proper names for Celem1, Celem3
|
file | diff | annotate |
Sun, 19 Apr 2020 16:17:27 +0200 |
rename Celem1 to Store
|
file | diff | annotate |
Sun, 19 Apr 2020 15:37:39 +0200 |
run Know_Store with Celem1..91 via Celem in calcelements.sml
|
file | diff | annotate |
Sun, 19 Apr 2020 11:07:02 +0200 |
switch "activate for Test_Isac .." back to Build_Isac
|
file | diff | annotate |
Fri, 17 Apr 2020 18:47:29 +0200 |
Test_Isac_Short OK (except the 2 strange errors)
|
file | diff | annotate |
Fri, 17 Apr 2020 18:40:14 +0200 |
struct.Celem is taken apart in preliminary struct.s
|
file | diff | annotate |
Fri, 17 Apr 2020 15:12:19 +0200 |
prep. take apart struct.Celem
|
file | diff | annotate |