- Speed up defer when "Group GOAL" contains redices (Fabian Kunze)
- Fixed a bug when deferring conjunction right before 'end defer' (Fabian Kunze)
- Fixed a bug that sometimes left an '/\ True' at the end of an deferred goal after 'end defer' (Fabian Kunze)
- Fix a bug where
end deferwould not work when deferring in Type - Make
Groupopaque to avoid having its contents being instantiated by e.g.eauto.
- First release