| Mon, 13 Oct 2014 21:46:41 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 13 Oct 2014 21:41:29 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 13 Oct 2014 20:24:24 +0200 | wenzelm | module Interpretation is superseded by Plugin; | file | diff | annotate |
| Tue, 09 Sep 2014 20:51:36 +0200 | blanchet | generalized 'datatype' LaTeX antiquotation and added 'codatatype' | file | diff | annotate |
| Tue, 09 Sep 2014 20:51:36 +0200 | blanchet | tuned messages | file | diff | annotate |
| Fri, 05 Sep 2014 00:41:01 +0200 | blanchet | introduced mechanism to filter interpretations | file | diff | annotate |
| Fri, 05 Sep 2014 00:41:01 +0200 | blanchet | fixed infinite loops in 'register' functions + more uniform API | file | diff | annotate |
| Mon, 01 Sep 2014 16:17:46 +0200 | blanchet | renamed modules defining old datatypes, as a step towards having 'datatype_new' take 'datatype's place | file | diff | annotate | base |