Diffusion Isabelle ebf7babc05ce

merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;
ebf7babc05ce
Actions

Tags

None

Subscribers

None

Description

merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;

Details

Provenance

Authored on

Parents

rISABELLEa8a8bc42d552: Added tag Isabelle2021-RC3 for changeset 02422c9add5e
rISABELLE0398f18ec76c: proper hostname;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEebf7babc05ce: merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;.Jan 24 2021, 7:34 PM

Merged Changes

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 (58)

Path

Size

Admin/

components/

components.sha1

etc/

Tools/

bibtex-mode.png

cite-completion.png

isabelle-jedit-hdpi.png

isabelle-jedit.png

markdown-document.png

ml-debugger.png

output-and-state.png

output-including-state.png

sidekick-document.png

sledgehammer.png

System/

Environment.thy

HOL/

Cardinals/

Wellorder_Extension.thy

Pure/

Admin/

build_history.scala

build_release.scala

components.scala

isabelle_cronjob.scala

General/

Syntax/

syntax_phases.ML

System/

java_statistics.scala

Thy/

Tools/

Tools/

Haskell/

VSCode/

extension/

src/

jEdit/

lib/

Tools/

src/

rISABELLEebf7babc05ce

.hgtags

Loading...

ANNOUNCE

Loading...

Admin/PLATFORMS

Loading...

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

CONTRIBUTORS

Loading...

NEWS

Loading...

etc/settings

Loading...

lib/Tools/components

Loading...

lib/scripts/java-gui-setup

Loading...

src/Doc/JEdit/JEdit.thy

Loading...

src/Doc/JEdit/document/auto-tools.png

Loading...

src/Doc/JEdit/document/bibtex-mode.png

Loading...

src/Doc/JEdit/document/cite-completion.png

Loading...

src/Doc/JEdit/document/isabelle-jedit-hdpi.png

Loading...

src/Doc/JEdit/document/isabelle-jedit.png

Loading...

src/Doc/JEdit/document/markdown-document.png

Loading...

src/Doc/JEdit/document/ml-debugger.png

Loading...

src/Doc/JEdit/document/output-and-state.png

Loading...

src/Doc/JEdit/document/output-including-state.png

Loading...

src/Doc/JEdit/document/output.png

Loading...

src/Doc/JEdit/document/popup1.png

Loading...

src/Doc/JEdit/document/popup2.png

Loading...

src/Doc/JEdit/document/query.png

Loading...

src/Doc/JEdit/document/scope1.png

Loading...

src/Doc/JEdit/document/scope2.png

Loading...

src/Doc/JEdit/document/sidekick-document.png

Loading...

src/Doc/JEdit/document/sidekick.png

Loading...

src/Doc/JEdit/document/sledgehammer.png

Loading...

src/Doc/JEdit/document/theories.png

Loading...

src/Doc/ROOT

Loading...

src/Doc/System/Environment.thy

Loading...

src/Doc/System/Misc.thy

Loading...

src/HOL/Cardinals/Wellorder_Extension.thy

Loading...

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Pure/Admin/components.scala

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...

src/Pure/General/symbol.ML

Loading...

src/Pure/Syntax/lexicon.ML

Loading...

src/Pure/Syntax/printer.ML

Loading...

src/Pure/Syntax/syntax_phases.ML

Loading...

src/Pure/System/java_statistics.scala

Loading...

src/Pure/System/options.scala

Loading...

src/Pure/Thy/bibtex.ML

Loading...

src/Pure/Tools/server.scala

Loading...

src/Tools/Haskell/Haskell.thy

Loading...

src/Tools/VSCode/extension/README.md

Loading...

src/Tools/VSCode/extension/package.json

Loading...

src/Tools/VSCode/extension/src/symbol.ts

Loading...

src/Tools/jEdit/lib/Tools/jedit

Loading...

src/Tools/jEdit/src/jEdit.props

Loading...