Thu, 14 May 2020 13:33:47 +0200 | rename Specification -> References, contiued | file | diff | annotate |
Tue, 12 May 2020 17:42:29 +0200 | shift code from struct.Specify to appropriate locations | file | diff | annotate |
Mon, 11 May 2020 20:49:27 +0200 | prep. remove Specify/mstools.sml | file | diff | annotate |
Sun, 10 May 2020 15:55:30 +0200 | collect code for struct.I_Model | file | diff | annotate |
Sun, 10 May 2020 13:16:56 +0200 | investigate I_Model | file | diff | annotate |