Tue, 13 Mar 2012 16:56:56 +0100 | wenzelm | prefer abs_def over def_raw; | file | diff | annotate |
Sat, 03 Mar 2012 23:49:54 +0100 | haftmann | generalized attribute name | file | diff | annotate |
Sat, 03 Mar 2012 23:43:21 +0100 | haftmann | one unified Importer theory | file | diff | annotate |
Sat, 03 Mar 2012 23:18:23 +0100 | haftmann | import all importer theories in compatibility layer | file | diff | annotate |
Sat, 03 Mar 2012 22:37:56 +0100 | haftmann | tuned whitespace | file | diff | annotate |
Sat, 03 Mar 2012 21:51:38 +0100 | haftmann | distribution of compatibility theories | file | diff | annotate |
Sat, 03 Mar 2012 21:42:41 +0100 | haftmann | formal infrastructure for import sessions | file | diff | annotate |