Diffusion Isabelle ac5833ebe6d1

merged
ac5833ebe6d1
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rISABELLEe0d797283638: tuned signature;
rISABELLE7956b822f239: use timeout with MiniSat

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEac5833ebe6d1: merged.Nov 10 2022, 2:55 PM

Merged Changes

7956b822f239 use timeout with MiniSat
Author
blanchette
Browse Repository
No Builds
No Audits

Changes (4)

Path

Size

src/

Pure/

GUI/

Tools/

jEdit/

src/

document_dockable.scala

jedit_sessions.scala

jedit_spell_checker.scala

rISABELLEac5833ebe6d1

src/Pure/GUI/gui.scala

Loading...

src/Tools/jEdit/src/document_dockable.scala

Loading...

src/Tools/jEdit/src/jedit_sessions.scala

Loading...

src/Tools/jEdit/src/jedit_spell_checker.scala

Loading...