Diffusion Isabelle 8d51418d4ec0

merged
8d51418d4ec0
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rISABELLEf4579e6800d7: tuned tags
rISABELLE30ed6786d775: more portable;

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE8d51418d4ec0: merged.Nov 14 2019, 1:48 PM

Merged Changes

30ed6786d775 more portable;
Author
makarius
Browse Repository
No Builds
No Audits
2bc568573a47 updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64;
Author
makarius
Browse Repository
No Builds
No Audits
2f6b092bbd25 updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems…
Author
makarius
Browse Repository
No Builds
No Audits
aa1338a778c1 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
3199c08e6413 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
6cfec8029831 clarified signature;
Author
makarius
Browse Repository
No Builds
No Audits
153ed199c0d4 updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417);
Author
makarius
Browse Repository
No Builds
No Audits
eed5b6188371 more support for multiple daemons;
Author
makarius
Browse Repository
No Builds
No Audits
cd166c3904dd more robust: system ssh service is required for Phabricator ssh service;
Author
makarius
Browse Repository
No Builds
No Audits
070a9b62f44a removed obsolete material: already covered by documentation or tools;
Author
makarius
Browse Repository
No Builds
No Audits
8c1c717a830b configure SSH hosting via "isabelle phabricator_setup_ssh";
Author
makarius
Browse Repository
No Builds
No Audits
783d5786255d more robust;
Author
makarius
Browse Repository
No Builds
No Audits
25c85cc3bc71 clarified signature;
Author
makarius
Browse Repository
No Builds
No Audits
c6ad69448d6d removed obsolete material -- already covered by "system" manual;
Author
makarius
Browse Repository
No Builds
No Audits
1159e52e5b05 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
f9b1c6522155 merged
Author
makarius
Browse Repository
No Builds
No Audits
c073c4e79518 more documentation;
Author
makarius
Browse Repository
No Builds
No Audits
3d228a3a88e0 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
67c2fed5b0e9 more options;
Author
makarius
Browse Repository
No Builds
No Audits
f31903cc57b0 clarified Console_Progress.echo: include empty lines as in other Progress…
Author
makarius
Browse Repository
No Builds
No Audits
20c1b9516d27 documentation on Phabricator server administration;
Author
makarius
Browse Repository
No Builds
No Audits
da378866f580 tuned message;
Author
makarius
Browse Repository
No Builds
No Audits
d3ededaa77b3 added "isabelle phabricator";
Author
makarius
Browse Repository
No Builds
No Audits

Changes (2)

Path

Size

src/

HOL/

Analysis/

Henstock_Kurzweil_Integration.thy

Linear_Algebra.thy

rISABELLE8d51418d4ec0

src/HOL/Analysis/Henstock_Kurzweil_Integration.thy

Loading...

src/HOL/Analysis/Linear_Algebra.thy

Loading...