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 16:21:18 +0200 | lucin: adapt tests to new file src/../lucas-interpreter.sml | file | diff | annotate |