Fri, 24 Jul 2009 18:58:58 +0200 | wenzelm | renamed functor ProjectRuleFun to Project_Rule; | file | diff | annotate |
Tue, 21 Jul 2009 15:52:30 +0200 | haftmann | dropped ancient flat_names option | file | diff | annotate |
Mon, 29 Jun 2009 16:17:56 +0200 | haftmann | canonical prefix for datatype derivates | file | diff | annotate |
Wed, 24 Jun 2009 21:28:02 +0200 | wenzelm | renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported); | file | diff | annotate |
Tue, 23 Jun 2009 16:27:12 +0200 | haftmann | tuned interfaces of datatype module | file | diff | annotate |
Tue, 23 Jun 2009 15:32:34 +0200 | haftmann | add_datatypes does not yield particular rules any longer | file | diff | annotate |
Tue, 23 Jun 2009 14:50:34 +0200 | haftmann | add_datatype interface yields type names and less rules | file | diff | annotate |
Tue, 23 Jun 2009 12:09:30 +0200 | haftmann | uniformly capitialized names for subdirectories | file | diff | annotate | base |