| Thu, 06 Feb 2014 00:03:12 +0100 | blanchet | tuning | file | diff | annotate |
| Fri, 10 Jan 2014 14:39:37 +0100 | blanchet | only destruct cases equipped with the right stuff (in particular, 'sel_split') | file | diff | annotate |
| Thu, 02 Jan 2014 09:50:22 +0100 | blanchet | generate 'disc_iff' property in 'primcorec' | file | diff | annotate |
| Fri, 13 Dec 2013 20:20:15 +0100 | wenzelm | maintain morphism names for diagnostic purposes; | file | diff | annotate |
| Mon, 09 Dec 2013 09:44:57 +0100 | blanchet | tuning -- moved ML files to subdirectory | file | diff | annotate | base |