| Wed, 03 Jul 2019 15:30:31 +0200 | lucin: rename scr --> program | file | diff | annotate |
| Wed, 03 Jul 2019 15:09:16 +0200 | lucin: fix Test_Isac, rename aux-funs in lucas-interpreter. | file | diff | annotate |
| Tue, 25 Jun 2019 12:48:24 +0200 | lucin: rename 3 main functions of lucase-interpreter.sml | file | diff | annotate |
| Mon, 26 Mar 2018 09:20:09 +0200 | Rule: Test_Isac works completely | file | diff | annotate |
| Mon, 26 Mar 2018 07:28:39 +0200 | Rule: structure pushed to code files | file | diff | annotate |
| Sun, 25 Mar 2018 13:59:57 +0200 | Celem: separate structure Rule | file | diff | annotate |