proper message for instances of Exn.User_Error, without extra Output.

tuned;

obsolete (see 5a3a2a52648d);

clarified command-line options;

redundant: copy produced from session document_files;

clarified treatment of Isabelle .sty files;

option document_logo;

proper options;

misc tuning and clarification;

redundant: tmp_dir is purged anyway;

option document_build refers to build engine in Isabelle/Scala;

tuned --- clarified corner cases;

clarified modules;

more uniform use of Properties.Eq.unapply, with slightly changed semantics in…

tuned;

clarified signature -- avoid odd warning about scala/bug#6675;

tuned;

clarified signature;

proper syntax of Scala 3;

enforce syntax of Scala 3;

The file part of the command for Unix.execute/executeInEnv should be included…

things need to be ugly

Remove Windows GUI code which is now in a separate repository.

merged

sorted as an abbreviation

mere abbreviation for logical alias

mere abbreviation for logical alias

avoid unexpected output+behaviour when CDPATH is set

eliminated odd clone (see Isabelle/caa5a257d3ed);

recover some Linux test, using old macbroy2 as i21of4 (Ubuntu 20.04);

avoid perl;

tuned signature --- following hints by IntelliJ IDEA;

ignore session build timeout, notably in AFP;

check timeout_ignored as in ML, before applying timeout_scale;

merged

proper build of required session images vs. build with Mirabelle presentation;

clarified command-line;

reactive "sledgehammer";

reactive "sledgehammer_filter": statically correct, but untested (no…

clarified signature;

reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool…

clarified signature;

tuned;

clarified log content;

unused (see 8ffc607c345d);

unused;

clarified signature: provide access to previous state;

tuned signature;

clarified signature (see Scala version);

avoid duplicate loading of ML file;

Fix incorrect function names.

Remove the test of GC in a forked child. This seems to fail badly on some…

Replace usleep with nanosleep. Posix defines usleep to work only for values of…

Use shadow area if necessary when setting ARM relocations.

Fix longWordToTagged for big-endian 32-in-64.

Change argument type so that it is compatible with big-endian 32-in-64.

Fix incorrect mask in 8ee44e4.

Fix byte offset to flags in big-endian mode. The value in 201979c8 was wrong.

Fixes to Unix files after RTS function change.

Updated 32-bit bootstrap file with support for big-endian.

Fix interpreter after RTS function change.

Fix name change omitted when this was last committed.

Change argument types of RTS functions so that they are always POLYUNSIGNED…

Have to take account of endian-ness when clearing ADR/LDR instruction offsets.

Register mask is in an instruction and needs to be converted on big-endian.

Convert instruction values to little-endian when converting to ADRP/LDR.

Constants and offsets need to be big-endian on big-endian architecture.

Convert between little-endian instruction format and native word.

The byte offset to the flags byte depends on whether this is big- or little…

Support for NetBSD elf file. Work-around for misnamed(?) relocation symbol in…

Updated bootstrap file for 64-bits with support for big-endian.

Merge branch 'master' into ARM64Testing

Don't check for libgcc and libgcc_s. They will be included anyway if needed.

Rework the locking for profiling.

Rebuild configure after last change.

strict_sorted now an abbreviation

strict_sorted now an abbreviation

merged

deleted needless material

explicit type class operations for type-specific implementations

obsolete

explicit type class operations for type-specific implementations

next step to phase out ancient numerals

more small simplifications

added lemmas map_ran_Cons_sel and (length|map_fst)_map_ran

merged

generalized type

basic setup of Isabelle setup tool --- pure Java, no dependencies;

merged

guess package more directly;

merged

fixed some latex; tried the alternative definition of Ramsey

Trying out Ramsey_eq for simpler proofs

more tiny tweaks

Just one lemma

merged

proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64;

clarified platforms;

merged

proper jEdit.props (amending ff716ecb0805);