Fri, 05 Sep 2014 00:41:01 +0200 | blanchet | updated docs | changeset | files |
Fri, 05 Sep 2014 00:41:01 +0200 | blanchet | added 'plugins' option to control which hooks are enabled | changeset | files |
Fri, 05 Sep 2014 00:41:01 +0200 | blanchet | introduced mechanism to filter interpretations | changeset | files |
Fri, 05 Sep 2014 00:41:01 +0200 | blanchet | fixed infinite loops in 'register' functions + more uniform API | changeset | files |
Fri, 05 Sep 2014 00:41:01 +0200 | blanchet | named interpretations | changeset | files |
Fri, 05 Sep 2014 00:41:00 +0200 | blanchet | centralized and cleaned up naming handling | changeset | files |
Thu, 04 Sep 2014 14:02:37 +0200 | hoelzl | cleanup Wfrec; introduce dependent_wf/wellorder_choice | changeset | files |