Remove some unused declarations.

Fix typo.

Avoid locking when testing for interrupts in the interpreter.

Fix paths so that building in a separate directory works.

Merge branch 'BootFromInterpreter' of https://github.com/dcjm/polyml into…

Remove some debugging code.

Remove conversion functions from Bootstrap structure now that they are no…

Remove unused variable.

Fix project file after correcting spelling mistake in file name.

Simplify the building options now that there are only two bootstrap files.

Add type constraint to suppress warning message.

Remove unused variable.

Enable 32-in-64 bit mode for the interpreted version.

Remove some old compatibility code.

Fix defines to select assembly code only on X86.

Updated bootstrap files with change to constant areas.

Merge branch 'master' into Interpret32in64

Merge branch 'master' into BootFromInterpreter

Rebuild 64-bit bootstrap with Unix directory separators.

Rebuild bootstrap file with Unix directory separators.

Changes to bootstrap for Unix.

Remove old bootstrap files.

Fixes for Unix.

Add the interpreter to the x86-specific code. Change the atomic operations…

Remove ForkFromRTS which no longer seems to be used and remove arg argument…

Bootstrap from the interpreted version. The bootstrap process takes much…

Split the byte-code interpreted version.

Rename interpret.cpp as bytecode.cpp prior to split.

Updating Jinja from apply-style to Isar-style

Updating Jinja from apply-style to Isar-style

Updating Jinja from apply-style to Isar-style

Updating Jinja from apply-style to Isar-style

Fix boxed version.

Add PackReal32Big/Little. This has to be done differently on 32 and 64-bit…

Remove old code-generation support functions.

After building the basis library copy specific items into the final name-space…

Add the exchange-and-add instruction to the interpreted version. CPUPause is…

Improve handling of mutex spin-lock. Replace atomic-increment/decrement by…

merge from afp-2021

merge from afp-2020

fixed category for Blue_Eyes

Backed out changeset 4450302adc70

fixed category for Blue_Eyes

New entry: Blue_Eyes

sitegen for Blue_Eyes

tidying of IsaGeoCoq including a shorter abstract and revised title

paragraph tags in the abstract of IsaGeoCoq

website for IsaGeoCoq

new entry IsaGeoCoq

proper version for Big Sur;

updated for release;

merged

Added tag Isabelle2021-RC4 for changeset 2ab14dbc6feb

clarified messages;

provide naproche-20210201;

more parallel;

more parallel;

Updating Jinja from apply-style to Isar-style

Updating Jinja from apply-style to Isar-style

Merge from default, esp JinjaDCI

Updating Jinja from apply-style to Isar-style

hide MB abbreviation

integrate RBT_Impl optimizations

contributors

optimize RBT_Impl

hide the internal abbreviations MR and MB

merged

clarified signature: proper order;

tuned signature: more types;

more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within…

clarified signature: more explicit types;

tuned;

clarified signature;

clarified signature: no symbol markup within XML attributes;

tuned signature;

bundle more libraries from scala-2.12.x, notably for Isabelle/MMT;

provide naproche-20210129;

tuned signature (e.g. see HTML.control_block in Isabelle/Scala);

proper Isabelle environment (amending 31fbde3baa97);

more robust type signatures, notably for the sake of haskell-stack-trace-plugin…

follow Phabricator update 2021 Week 4;

updated to jdk-15.0.2+7;

more uniform directory layout for macOS;

more NEWS;

more generic Isabelle_app;

prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc);

more robust;

tuned;

tuned;

provide jdk-11.0.10+9.tar.gz LTS for testing (inactive);

Simpler proof

Small update to Optics document.

Merge

merged

more generous timeout (25min CPU time);

non-executable files;

Added metadata for previous commit (Optics).

Addition of theorems throughout, particularly for prisms.