Active Repositories
Active Repositories
- rWEBSITE isabelle-website
- Feb 20 2021, 9:18 PM2021-02-20 21:18:29 (UTC+1)
- Mercurial
Recent Activity
Recent Activity
Today
Today
paulson <lp15@cam.ac.uk> committed rAFP9793065dd1c9: slight tidying of 1.19.
slight tidying of 1.19
updated to polyml-5.8.2 (official release);
proper option for linux_arm;
clarified default_platform_families (again);
Rebuilt after merge.
Merge branch 'master' into ARMMerge2
Rebuilt pre-built compiler with endian fix.
dcjm committed rPOLYMLe6a463e1614f: Merge branch 'Endian5.8.2' into fixes-5.8.2. Fixes #150 (authored by dcjm).
Merge branch 'Endian5.8.2' into fixes-5.8.2. Fixes #150
dcjm committed rPOLYML87de1f409494: Only call PolyIsBigEndian when the code segment is being created. It was… (authored by dcjm).
Only call PolyIsBigEndian when the code segment is being created. It was…
Remove 5.8.1 compatibility files.
Yesterday
Yesterday
proper jvm_platform, notably for org.sqlite.lib.path;
support for platform family "linux_arm";
support local build_heaps;
no hardwired document;
Wed, May 5
Wed, May 5
tuned --- rename = dist_name is sufficient;
clarified option -P: allow empty argument;
support for existing release archive;
more website content;
clarified signature;
makarius committed rISABELLEf8f065e20837: misc tuning and clarification: more explicit types Release_Context….
misc tuning and clarification: more explicit types Release_Context…
tuned theory structure
more appropriate location
tuned theory structure
paulson <lp15@cam.ac.uk> committed rAFP5b179b8ac1fa: more proof tidying.
more proof tidying
collected lemmas on permutations
collected lemmas on permutations
Tue, May 4
Tue, May 4
paulson <lp15@cam.ac.uk> committed rAFPedae802b7d54: simpler proofs of stronger lemmas.
simpler proofs of stronger lemmas
paulson <lp15@cam.ac.uk> committed rAFP15998112d738: just a few more tweaks.
just a few more tweaks