Thu, 10 Apr 2014 17:48:16 +0200 |
don't forget to init Interpretation and transfer theorems in the interpretation hook
|
file | diff | annotate |
Thu, 03 Apr 2014 10:51:24 +0200 |
added same idiomatic handling of namings for Ctr_Sugar/BNF-related interpretation hooks as for typedef and (old-style) datatypes
|
file | diff | annotate |
Tue, 01 Apr 2014 10:51:29 +0200 |
added BNF interpretation hook
|
file | diff | annotate |
Mon, 10 Mar 2014 13:23:16 +0100 |
unfold intermediate definitions after sealing the bnf
|
file | diff | annotate |
Thu, 06 Mar 2014 15:40:33 +0100 |
renamed 'fun_rel' to 'rel_fun'
|
file | diff | annotate |
Mon, 03 Mar 2014 12:48:20 +0100 |
make 'typedef' optional, depending on size of original type
|
file | diff | annotate |
Fri, 14 Feb 2014 15:03:24 +0100 |
allow different functions to recurse on the same type, like in the old package
|
file | diff | annotate |
Wed, 12 Feb 2014 17:36:00 +0100 |
iteration n in the 'default' vs. 'update_new' vs. 'update' saga -- 'update' makes sense now that we honor the canonical order on 'merge' (as opposed to raising 'DUP')
|
file | diff | annotate |
Wed, 12 Feb 2014 08:35:56 +0100 |
more liberal merging of BNFs and constructor sugar
|
file | diff | annotate |
Fri, 07 Feb 2014 10:44:04 +0100 |
reverted a87e49f4336d -- overwriting of data entries yields to merge problems later
|
file | diff | annotate |
Thu, 06 Feb 2014 17:05:47 +0100 |
allow multiple registration of the same type, the last wins
|
file | diff | annotate |
Fri, 31 Jan 2014 10:02:36 +0100 |
less hermetic tactics
|
file | diff | annotate |
Mon, 20 Jan 2014 18:24:56 +0100 |
adjusted comments
|
file | diff | annotate |
Mon, 20 Jan 2014 18:24:56 +0100 |
avoid nested 'Tools' directories
|
file | diff | annotate | base |