Mercurial
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
branches
|
file
| revisions |
annotate
|
diff
|
rss
(0)
-3000
-1000
-300
-100
-60
tip
NEWS
4 months ago
wenzelm
2017-12-06
name mangling for Latex macros; tuned signature;
file
|
diff
|
annotate
4 months ago
wenzelm
2017-12-05
more documentation;
file
|
diff
|
annotate
4 months ago
wenzelm
2017-12-04
NEWS;
file
|
diff
|
annotate
4 months ago
wenzelm
2017-12-03
discontinued old 'def' command;
file
|
diff
|
annotate
4 months ago
wenzelm
2017-11-27
updated to official release of polyml-5.7.1; back to more modest default heap: e.g. relevant for Pure session for ML IDE; more robust POLYML_EXE;
file
|
diff
|
annotate
5 months ago
wenzelm
2017-11-25
Mac OS X 10.10 Yosemite is baseline;
file
|
diff
|
annotate
5 months ago
wenzelm
2017-11-13
init Mercurial repository for the generated session files;
file
|
diff
|
annotate
5 months ago
haftmann
2017-11-11
dedicated definition for coprimality
file
|
diff
|
annotate
5 months ago
wenzelm
2017-11-11
more options for "isabelle mkroot"; updated documentation;
file
|
diff
|
annotate
5 months ago
wenzelm
2017-11-05
more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);
file
|
diff
|
annotate
5 months ago
wenzelm
2017-11-03
tuned (non-unique example);
file
|
diff
|
annotate
5 months ago
wenzelm
2017-11-03
clarified situation of global theory names;
file
|
diff
|
annotate
5 months ago
wenzelm
2017-11-02
allow unrelated ancestor; clarified error;
file
|
diff
|
annotate
5 months ago
wenzelm
2017-11-02
support alternative ancestor session;
file
|
diff
|
annotate
5 months ago
wenzelm
2017-11-02
support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";
file
|
diff
|
annotate
5 months ago
wenzelm
2017-11-01
added isabelle jedit options -B, -P, clarified -R; misc tuning and clarification;
file
|
diff
|
annotate
5 months ago
haftmann
2017-10-31
removed ancient nat-int transfer
file
|
diff
|
annotate
5 months ago
wenzelm
2017-10-30
NEWS;
file
|
diff
|
annotate
5 months ago
haftmann
2017-10-30
rule out pathologic instances
file
|
diff
|
annotate
6 months ago
wenzelm
2017-10-23
discontinued Linux 32bit platform support;
file
|
diff
|
annotate
6 months ago
wenzelm
2017-10-23
updated to jdk-8u152, which is for x86_64 only;
file
|
diff
|
annotate
6 months ago
wenzelm
2017-10-12
more informative Imports.Report with actual session imports (minimized);
file
|
diff
|
annotate
6 months ago
wenzelm
2017-10-11
tuned whitespace;
file
|
diff
|
annotate
6 months ago
wenzelm
2017-10-11
clarified meta_digest;
file
|
diff
|
annotate
6 months ago
wenzelm
2017-10-11
added isablle build option -f;
file
|
diff
|
annotate
6 months ago
paulson
2017-10-10
Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.
file
|
diff
|
annotate
6 months ago
haftmann
2017-10-08
Polynomial_Factorial does not depend on Field_as_Ring as such
file
|
diff
|
annotate
6 months ago
haftmann
2017-10-08
avoid name clashes on interpretation of abstract locales
file
|
diff
|
annotate
6 months ago
haftmann
2017-10-08
avoid trivial definition
file
|
diff
|
annotate
6 months ago
haftmann
2017-10-08
avoid fact name clashes
file
|
diff
|
annotate
6 months ago
wenzelm
2017-10-08
merged
file
|
diff
|
annotate
6 months ago
wenzelm
2017-10-03
more NEWS;
file
|
diff
|
annotate
6 months ago
wenzelm
2017-10-05
completion supports theory header imports; tuned;
file
|
diff
|
annotate
6 months ago
wenzelm
2017-10-04
process ROOT files only once, which allows duplicate (or overlapping) session root directories;
file
|
diff
|
annotate
6 months ago
wenzelm
2017-10-02
discontinued obsolete 'files' in session ROOT;
file
|
diff
|
annotate
6 months ago
wenzelm
2017-10-02
added command 'external_file';
file
|
diff
|
annotate
6 months ago
wenzelm
2017-10-02
option -S for "isabelle build";
file
|
diff
|
annotate
6 months ago
blanchet
2017-10-01
updated NEWS
file
|
diff
|
annotate
6 months ago
wenzelm
2017-10-01
option -B for "isabelle build" and "isabelle imports";
file
|
diff
|
annotate
6 months ago
wenzelm
2017-09-30
NEWS;
file
|
diff
|
annotate
6 months ago
wenzelm
2017-09-28
session-qualified theory names are mandatory;
file
|
diff
|
annotate
7 months ago
wenzelm
2017-09-23
merged
file
|
diff
|
annotate
7 months ago
wenzelm
2017-09-17
more documentation; tuned message;
file
|
diff
|
annotate
7 months ago
haftmann
2017-09-11
spelling
file
|
diff
|
annotate
7 months ago
blanchet
2017-09-22
document incompatibility
file
|
diff
|
annotate
7 months ago
blanchet
2017-09-22
real oracle
file
|
diff
|
annotate
7 months ago
wenzelm
2017-09-08
back to post-release mode -- after fork point;
file
|
diff
|
annotate
7 months ago
wenzelm
2017-09-08
tuned;
file
|
diff
|
annotate
7 months ago
paulson
2017-09-08
Correction of typos and a bit of streamlining
file
|
diff
|
annotate
7 months ago
paulson
2017-09-08
Simplicial complexes and triangulations; Baire Category Theorem
file
|
diff
|
annotate
7 months ago
blanchet
2017-09-08
moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years
file
|
diff
|
annotate
7 months ago
wenzelm
2017-09-02
proper URL;
file
|
diff
|
annotate
7 months ago
wenzelm
2017-08-31
reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;
file
|
diff
|
annotate
7 months ago
Andreas Lochbihler
2017-08-30
add type of unordered pairs
file
|
diff
|
annotate
7 months ago
wenzelm
2017-08-29
proper theory name;
file
|
diff
|
annotate
7 months ago
nipkow
2017-08-29
news
file
|
diff
|
annotate
8 months ago
Manuel Eberl
2017-08-23
HOL-Library: going_to filter
file
|
diff
|
annotate
8 months ago
Lars Hupel
2017-08-22
output syntax for pattern aliases
file
|
diff
|
annotate
8 months ago
Manuel Eberl
2017-08-21
HOL-Analysis: Convergent FPS and infinite sums
file
|
diff
|
annotate
8 months ago
wenzelm
2017-08-21
tuned;
file
|
diff
|
annotate
(0)
-3000
-1000
-300
-100
-60
tip