diff options
author | 2014-04-29 17:30:29 +0200 | |
---|---|---|
committer | 2014-05-06 09:59:01 +0200 | |
commit | af533645b1033dc386d8ac99cc8c4b6491b0ca91 (patch) | |
tree | c42961235b033723d2bf0d2150f004c740eb6231 /INSTALL.doc | |
parent | 84290ba5da2a6acb4bf95b197f7a7ce8b072a1d0 (diff) |
Fix Field_tac to get fast reification again, with the fix on template universe polymorphic constructors.
Diffstat (limited to 'INSTALL.doc')
0 files changed, 0 insertions, 0 deletions