Diffusion Isabelle 052aab920a52

merged
052aab920a52
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rISABELLE0fb350e7477b: More new material thanks to Manuel
rISABELLE646e36bf24ae: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson committed rISABELLE052aab920a52: merged.Feb 1 2023, 1:43 PM

Merged Changes

646e36bf24ae merged
Author
nipkow
Browse Repository
No Builds
No Audits
9770db65d628 tuning
Author
nipkow
Browse Repository
No Builds
No Audits
7ceed24c88dc alternate AFP tests on lrzcloud2, to fit better into one day;
Author
makarius
Browse Repository
No Builds
No Audits
1250a1f2bc1e merged
Author
makarius
Browse Repository
No Builds
No Audits
913c781ff6ba support document preparation from already loaded theories;
Author
makarius
Browse Repository
No Builds
No Audits
158dfe7f68ed clarified GUI events;
Author
makarius
Browse Repository
No Builds
No Audits
b899d7840b49 clarified GUIs: keep related buttons together;
Author
makarius
Browse Repository
No Builds
No Audits
59a8b9a341aa proper program name, e.g. for session "Intro";
Author
makarius
Browse Repository
No Builds
No Audits
c0633a0da53e clarified GUI events: reset everything on session context switch;
Author
makarius
Browse Repository
No Builds
No Audits
e3a7d3668629 clarified GUI events: ensure fresh output when switching pages;
Author
makarius
Browse Repository
No Builds
No Audits
6840013a791a clarified GUI: avoid odd jumping pages on "Cancel";
Author
makarius
Browse Repository
No Builds
No Audits
dd9bde3d839e clarified GUI events;
Author
makarius
Browse Repository
No Builds
No Audits
0bb95bcf804e more accurate output: avoid output_body from last run;
Author
makarius
Browse Repository
No Builds
No Audits
4c9296390f20 more accurate output: avoid output_main from last run;
Author
makarius
Browse Repository
No Builds
No Audits
2f43be96c713 removed unused operation from 3f50b24909df;
Author
makarius
Browse Repository
No Builds
No Audits
286fdf0fcc44 clarified guard: avoid spurious auto builds;
Author
makarius
Browse Repository
No Builds
No Audits
3991a35cd740 automatically build document when selected theories are finished;
Author
makarius
Browse Repository
No Builds
No Audits
9b3a8565464d more accurate Word.capitalize: do not touch name;
Author
makarius
Browse Repository
No Builds
No Audits
38077c938d01 defer build until document nodes are ready;
Author
makarius
Browse Repository
No Builds
No Audits
eb114301c4df clarified signature: prefer semantic status;
Author
makarius
Browse Repository
No Builds
No Audits
de618831ffd9 removed obsolete parameter (see 7c23db6b857b);
Author
makarius
Browse Repository
No Builds
No Audits
42c3970e1ac1 clarified Document_Editor.Session: more explicit types, more robust operations;
Author
makarius
Browse Repository
No Builds
No Audits
61f6bb753cbf more operations;
Author
makarius
Browse Repository
No Builds
No Audits
139a0119ae3c clarified operation (without change of signature!);
Author
makarius
Browse Repository
No Builds
No Audits
1310df9229bd pointless
Author
nipkow
Browse Repository
No Builds
No Audits

Changes (4)

Path

Size

src/

HOL/

Analysis/

Complex_Analysis_Basics.thy

Complex_Transcendental.thy

rISABELLE052aab920a52

src/HOL/Analysis/Complex_Analysis_Basics.thy

Loading...

src/HOL/Analysis/Complex_Transcendental.thy

Loading...

src/HOL/Analysis/Derivative.thy

Loading...

src/HOL/Complex.thy

Loading...