8 weeks ago ago nipkow strengthened lemma
8 weeks ago ago krauss documentation for termination_simp attribute
2 months ago ago nipkow tuned names
2 months ago ago nipkow tuned name
2 months ago ago nipkow tuned
2 months ago ago paulson a few general lemmas
2 months ago ago paulson Generalisations involving numerals; comparisons should now work for ennreal
2 months ago ago nipkow tuned
2 months ago ago nipkow tuned names
2 months ago ago nipkow tuned
2 months ago ago nipkow tuned
2 months ago ago wenzelm back to post-release mode;
2 months ago ago wenzelm Added tag Isabelle2019-RC2 for changeset 805250bb7363
2 months ago ago nipkow fixed theory name Isabelle2019-RC2
2 months ago ago nipkow simplified types
2 months ago ago wenzelm clarified documentation;
2 months ago ago wenzelm more documentation;
2 months ago ago wenzelm merged
2 months ago ago wenzelm more NEWS;
2 months ago ago wenzelm tuned;
2 months ago ago wenzelm tuned;
2 months ago ago wenzelm proper formatting (amending 5076725247fa);
2 months ago ago wenzelm more on "Physical and logical files";
2 months ago ago wenzelm proper session chapter;
2 months ago ago wenzelm misc tuning;
2 months ago ago wenzelm more uniform scaling;
2 months ago ago nipkow New version of tries
2 months ago ago wenzelm clarified InstallPath: relative to self-extracting exe;
2 months ago ago wenzelm prefer HTTPS;
2 months ago ago wenzelm eliminated old com.apple.eawt.FullScreenUtilities.setWindowCanFullScreen: appears to be unnecessary on newer versions of Mac OS X;
2 months ago ago wenzelm back to gz for linux (and macos) -- xz is too slow and cumbersome;
2 months ago ago wenzelm merged
2 months ago ago wenzelm back to gz for macos: more robust;
2 months ago ago wenzelm proper arguments for library build;
2 months ago ago wenzelm tuned;
2 months ago ago wenzelm clarified smlnj installations;
2 months ago ago wenzelm Added tag Isabelle2019-RC1 for changeset 9c60fcfdf495
2 months ago ago wenzelm updated to jdk-11.0.3+7; Isabelle2019-RC1
2 months ago ago wenzelm update to lts-12.26 (stable branch);
2 months ago ago haftmann more NEWS
2 months ago ago paulson merged
2 months ago ago paulson tweaked a definition
2 months ago ago wenzelm VSCode extension for official Isabelle release;
2 months ago ago paulson merged
2 months ago ago paulson clearout of some useless lemmas
2 months ago ago wenzelm merged
2 months ago ago wenzelm more bibtex fields;
2 months ago ago wenzelm clarified PIDE markup;
2 months ago ago paulson De-applying and combining lemmas to make structured proofs
2 months ago ago wenzelm clarified directory location;
2 months ago ago haftmann more lemmas
2 months ago ago haftmann more correct simulation of eigen context for generated Isar statements
2 months ago ago paulson more tidying and de-applying
2 months ago ago paulson merged
2 months ago ago wenzelm more uniform Isabelle splash screen -- avoid problems with jEdit splash and Java 11 on some Linux window managers;
2 months ago ago paulson merged
2 months ago ago paulson yet more de-applying
2 months ago ago paulson more de-applying
2 months ago ago paulson more tidying up
2 months ago ago paulson A bit of de-applying