isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

tuned;
22 months ago, by wenzelm
unused;
22 months ago, by wenzelm
unused (see 8ffc607c345d);
22 months ago, by wenzelm
clarified signature: provide access to previous state;
22 months ago, by wenzelm
clarified signature (see Scala version);
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
avoid duplicate loading of ML file;
22 months ago, by wenzelm
strict_sorted now an abbreviation
22 months ago, by paulson
explicit type class operations for type-specific implementations
22 months ago, by haftmann
obsolete
22 months ago, by haftmann
added lemmas map_ran_Cons_sel and (length|map_fst)_map_ran
22 months ago, by desharna
merged
22 months ago, by nipkow
generalized type
22 months ago, by nipkow
basic setup of Isabelle setup tool --- pure Java, no dependencies;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
guess package more directly;
22 months ago, by wenzelm
merged
22 months ago, by paulson
Just one lemma
22 months ago, by paulson
proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64;
22 months ago, by wenzelm
clarified platforms;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
proper jEdit.props (amending ff716ecb0805);
22 months ago, by wenzelm
update to gmp-6.2.1, with support for arm64-darwin;
22 months ago, by wenzelm
clarified platforms;
22 months ago, by wenzelm
clarified options: implicitly support both x86_64 and arm64;
22 months ago, by wenzelm
tuned whitespace;
22 months ago, by wenzelm
centralized more lemmas
22 months ago, by haftmann
avoid Fun.swap
22 months ago, by haftmann
guide is out of focus
22 months ago, by haftmann
proper build for fresh target directory (amending d9823224fcfe);
22 months ago, by wenzelm
put more resources into jedit_build component;
22 months ago, by wenzelm
more brackets (see f6b453449cc6);
22 months ago, by wenzelm
more brackets;
22 months ago, by wenzelm
proper settings variable, amending 6e85281177df;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
tuned proofs --- avoid z3, which is absent on arm64-linux;
22 months ago, by wenzelm
proper condition: z3 could be absent, e.g. on arm64-linux;
22 months ago, by wenzelm
build auxiliary jEdit component in Isabelle/Scala;
22 months ago, by wenzelm
separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
22 months ago, by wenzelm
tuned message;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
more elementary swap
22 months ago, by haftmann
tuned comments;
22 months ago, by wenzelm
misc updates and clarification;
22 months ago, by wenzelm
clarified file name;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
updated to polyml-5.8.2 (official release);
22 months ago, by wenzelm
clarified default_platform_families (again);
22 months ago, by wenzelm
proper option for linux_arm;
22 months ago, by wenzelm
proper "$?";
22 months ago, by wenzelm
proper jvm_platform, notably for org.sqlite.lib.path;
22 months ago, by wenzelm
tuned message;
22 months ago, by wenzelm
support for platform family "linux_arm";
22 months ago, by wenzelm
clarified purge;
22 months ago, by wenzelm
removed junk;
22 months ago, by wenzelm
support local build_heaps;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
tuned --- rename = dist_name is sufficient;
22 months ago, by wenzelm
proper dist_name;
22 months ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

isabelle