Mon, 11 May 2009 09:18:42 +0200 | Added pred_code command | file | diff | annotate |
Wed, 22 Apr 2009 11:10:23 +0200 | added general preprocessing of equality in predicates for code generation | file | diff | annotate |
Fri, 24 Apr 2009 17:45:16 +0200 | some experiements towards user interface for predicate compiler | file | diff | annotate |
Sun, 15 Mar 2009 15:59:44 +0100 | simplified attribute setup; | file | diff | annotate |
Mon, 09 Mar 2009 14:43:51 +0100 | NameSpace.base_name ~> Long_Name.base_name | file | diff | annotate |
Mon, 09 Mar 2009 09:37:33 +0100 | binding replaces bstring | file | diff | annotate |
Sun, 08 Mar 2009 15:25:28 +0100 | added predicate compiler, as formally checked prototype, not as user package | file | diff | annotate |