| Tue, 01 Oct 2013 17:06:35 +0200 | traytel | base the fset bnf on the new FSet theory | changeset | files |
| Tue, 01 Oct 2013 17:04:27 +0200 | traytel | improved backwards compatiblity of primrec_new (Isabelle/ML interface, attributes, etc.) | changeset | files |
| Tue, 01 Oct 2013 15:02:12 +0200 | blanchet | removed spurious save if nothing needs to bee learned | changeset | files |
| Tue, 01 Oct 2013 14:40:25 +0200 | blanchet | new version of MaSh that really honors the --port option and that checks for file name mismatches | changeset | files |
| Tue, 01 Oct 2013 14:29:27 +0200 | blanchet | minor textual changes | changeset | files |
| Tue, 01 Oct 2013 14:13:24 +0200 | blanchet | got rid of dead feature | changeset | files |
| Tue, 01 Oct 2013 14:05:25 +0200 | blanchet | refactoring -- splitting between constructor sugar dependencies and true BNF dependencies | changeset | files |
| Tue, 01 Oct 2013 14:05:25 +0200 | blanchet | renamed ML files | changeset | files |