Diffusion Isabelle 180ecdf83bc8

merged;
180ecdf83bc8
Actions

Tags

None

Subscribers

None

Description

merged;

Details

Provenance

Authored on

Parents

rISABELLE3d805ab66a2f: Added tag Isabelle2021-RC5 for changeset a88dbf2a020f
rISABELLEb1aa641eee4c: added lemmas

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE180ecdf83bc8: merged;.Feb 8 2021, 11:14 PM

Merged Changes

b1aa641eee4c added lemmas
Author
nipkow
Browse Repository
No Builds
No Audits
6974bca47856 merged
Author
makarius
Browse Repository
No Builds
No Audits
bb35f7f60d6c contributors
Author
Andreas Lochbihler <mail@andreas-lochbihler.de>
Browse Repository
No Builds
No Audits
87e3c180044a hide the internal abbreviations MR and MB
Author
Andreas Lochbihler <mail@andreas-lochbihler.de>
Browse Repository
No Builds
No Audits
bfa9f646f5ae optimize RBT_Impl
Author
mraszyk
Browse Repository
No Builds
No Audits
8c98e497492a merged
Author
makarius
Browse Repository
No Builds
No Audits
ce90865dbaeb Simpler proof
Author
nipkow
Browse Repository
No Builds
No Audits
b310b93563f6 more robust: support other_isabelle.init_settings for build_history before…
Author
makarius
Browse Repository
No Builds
No Audits
a5998396051e more robust: defer error in sessions structure to build process;
Author
makarius
Browse Repository
No Builds
No Audits
ebf7babc05ce merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;
Author
makarius
Browse Repository
No Builds
No Audits
0398f18ec76c proper hostname;
Author
makarius
Browse Repository
No Builds
No Audits
13bd167f4d97 more official support for macOS 11.1 Big Sur;
Author
makarius
Browse Repository
No Builds
No Audits
68f0bd0c8e87 more informative error;
Author
makarius
Browse Repository
No Builds
No Audits
be9b73dfd3e0 added lemmas
Author
nipkow
Browse Repository
No Builds
No Audits
11da341c2968 merged
Author
makarius
Browse Repository
No Builds
No Audits
4c4d479b097d new magerial from Jakub Kądziołka
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits

Changes (32)

Path

Size

Admin/

components/

components.sha1

etc/

HOL/

Tools/

Predicate_Compile/

ML/

protocol_command.ML

isabelle_process.ML

isabelle_system.scala

Tools/

print_operation.ML

simplifier_trace.ML

src/

jedit_editor.scala

rISABELLE180ecdf83bc8

.hgtags

Loading...

ANNOUNCE

Loading...

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

NEWS

Loading...

etc/settings

Loading...

src/HOL/Tools/Predicate_Compile/code_prolog.ML

Loading...

src/Pure/ML/ml_system.ML

Loading...

src/Pure/PIDE/protocol.ML

Loading...

src/Pure/PIDE/protocol_command.ML

Loading...

src/Pure/PIDE/resources.ML

Loading...

src/Pure/ROOT.ML

Loading...

src/Pure/System/bash.ML

Loading...

src/Pure/System/bash.scala

Loading...

src/Pure/System/isabelle_process.ML

Loading...

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/System/kill.ML

Loading...

src/Pure/System/scala.ML

Loading...

src/Pure/System/scala.scala

Loading...

src/Pure/Tools/build.ML

Loading...

src/Pure/Tools/debugger.ML

Loading...

src/Pure/Tools/print_operation.ML

Loading...

src/Pure/Tools/simplifier_trace.ML

Loading...

src/Tools/jEdit/patches/laf_fonts

Loading...

src/Tools/jEdit/src/jedit_editor.scala

Loading...