Mon, 24 Oct 2005 01:38:17 +1300 | Tony Garnock-Jones | Notes on syntax and more examples | file | diff | annotate |
Sat, 22 Oct 2005 06:35:38 +1300 | Tony Garnock-Jones | Remove unwanted end-of-toplevel-statement marker | file | diff | annotate |
Fri, 21 Oct 2005 20:29:10 +1300 | Tony Garnock-Jones | Printer for ThiNG CST; improved emacs mode, including comint run-tng. | file | diff | annotate |
Fri, 21 Oct 2005 19:30:54 +1300 | Tony Garnock-Jones | New, more uniform syntax. Evaluator needs updating. | file | diff | annotate |
Fri, 21 Oct 2005 18:28:19 +1300 | Tony Garnock-Jones | Move to R3. | file | diff | annotate |