# # ChangeLog for Deliverables/D4.1/Matita/Fetch.ma # # Generated by Trac 1.2 # Jan 23, 2021, 6:58:59 AM Fri, 26 Nov 2010 16:38:04 GMT sacerdot [316] * Deliverables/D4.1/Matita/ASM.ma (modified) * Deliverables/D4.1/Matita/Assembly.ma (modified) * Deliverables/D4.1/Matita/Fetch.ma (added) * Deliverables/D4.1/Matita/Status.ma (modified) * Deliverables/D4.1/Matita/Vector.ma (modified) * Deliverables/D4.1/Matita/depends (modified) REGISTER now takes a BitVector 3