![[Jenkins]](/jenkins/static/109fb1e5/images/svgs/logo.svg){kind=logo}
Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- more complete set of code equations
- officical abstract characters for code generation
| The file was modified | src/HOL/Library/Subseq_Order.thy |
| The file was added | src/HOL/Codegenerator_Test/Generate_Abstract_Char.thy |
| The file was added | src/HOL/Library/Code_Abstract_Char.thy |
| The file was modified | CONTRIBUTORS |
| The file was modified | NEWS |
| The file was modified | src/Doc/Codegen/Adaptation.thy |
| The file was modified | src/HOL/Codegenerator_Test/Candidates.thy |
| The file was modified | src/HOL/Library/Char_ord.thy |
| The file was modified | src/HOL/ROOT |
| The file was modified | src/HOL/String.thy |