| Mon, 18 May 2020 14:02:54 +0200 | sprep.cleanup Specification, Specify | file | diff | annotate |
| Mon, 18 May 2020 11:48:27 +0200 | shift code from Specification to Specify | file | diff | annotate |
| Fri, 15 May 2020 19:31:04 +0200 | shift code from Specification to References, separate References_Def | file | diff | annotate |
| 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 |