Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- merged
- Helpful lemmas for dealing with equalities involving Act.
- merge from afp-2016-1
- sitegen not available in export; revert to old publish method for now
- Fix template for entries
- tweak layout now that css seems to be respected
- entries are .shtml not .html
- regenerate website
- Merged in ammerbauer/afp-2016-1 (pull request #1) Create webpage with Jinja2 template engine
- Add logging to sitegen
- macOS: prefer system Python
- BSD/macOS compatibility
- managed Python environment
- Sitegen creates RSS feed
- Remove superfluous import
- Create webpage with Jinja2 template engine
Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- cancellation simprocs generalising the multiset simprocs
- adding simplification patterns to multiset simprocs
- renaming multiset simprocs
The file was added | src/HOL/Library/Cancellation.thy |
The file was added | src/HOL/Library/Cancellation/cancel.ML |
The file was added | src/HOL/Library/Cancellation/cancel_data.ML |
The file was added | src/HOL/Library/Cancellation/cancel_simprocs.ML |
The file was modified | src/HOL/Library/Multiset.thy |
The file was modified | src/HOL/Library/multiset_order_simprocs.ML |
The file was modified | src/HOL/Library/multiset_simprocs.ML |
The file was removed | src/HOL/Library/multiset_simprocs_util.ML |
The file was modified | src/HOL/Library/Multiset_Order.thy |
The file was modified | NEWS |
The file was modified | src/HOL/Library/Multiset.thy |
The file was modified | src/HOL/Library/Multiset_Order.thy |