![[Jenkins]](/jenkins/static/858a1f95/images/svgs/logo.svg){kind=logo}
Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- Removal of material now in Isabelle's libraries
- updated to devel
| The file was modified | thys/Fourier/Fourier.thy |
| The file was modified | thys/Fourier/Fourier_Aux2.thy |
| The file was modified | thys/Fourier/Lspace.thy |
| The file was modified | thys/Fourier/Periodic.thy |
| The file was modified | thys/Fourier/Square_Integrable.thy |
| The file was removed | thys/Fourier/Fourier_Aux1.thy |
| The file was modified | thys/CakeML_Codegen/Test/Test_Embed_Data.thy |
| The file was modified | thys/Priority_Search_Trees/PST_General.thy |
| The file was modified | thys/Priority_Search_Trees/PST_RBT.thy |
| The file was modified | thys/Weight_Balanced_Trees/Weight_Balanced_Trees.thy |
Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- boot with Phabricator PHP daemon;
- clarified sshd setup: standard service on non-standard port 222, special "vcs" service on standard port 22;
- disable lrzcloud1 -- superseded by lrzcloud2;
- merged
- replaced new type ('a,'b) tree by old type ('a*'b) tree.
- more Phabricator configuration;