Mercurial
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
branches
|
file
| revisions |
annotate
|
diff
|
rss
(0)
-3000
-1000
-300
-100
-60
tip
NEWS
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
8 months ago
wenzelm
2017-08-21
tuned;
file
|
diff
|
annotate
8 months ago
wenzelm
2017-08-21
misc tuning and updates for release;
file
|
diff
|
annotate
8 months ago
wenzelm
2017-08-20
officially allow restart of Isabelle plugin;
file
|
diff
|
annotate
8 months ago
wenzelm
2017-08-18
merged
file
|
diff
|
annotate
8 months ago
wenzelm
2017-08-18
more NEWS;
file
|
diff
|
annotate
8 months ago
Lars Hupel
2017-08-18
syntax for pattern aliases
file
|
diff
|
annotate
8 months ago
eberlm
2017-08-17
NEWS: Removed constant subseq; subsumed by strict_mono
file
|
diff
|
annotate
8 months ago
wenzelm
2017-08-17
support for incremental update according to session graph structure;
file
|
diff
|
annotate
8 months ago
nipkow
2017-08-15
NEWS sorted_wrt
file
|
diff
|
annotate
8 months ago
wenzelm
2017-08-15
NEWS;
file
|
diff
|
annotate
8 months ago
haftmann
2017-08-06
do not fall back on nbe if plain evaluation fails
file
|
diff
|
annotate
8 months ago
haftmann
2017-08-02
simplified function specification history: each pending function specification is historized at the end of a theory, without additional bookkeeping; sufficient to keep history stamps rather than complete historized data; semantically conflicting specifications are temoprary blacklisted after theory merge but remain historized; clarified signature;
file
|
diff
|
annotate
9 months ago
blanchet
2017-07-28
introduced option for nat-as-int in SMT
file
|
diff
|
annotate
9 months ago
eberlm
2017-07-15
Updated NEWS
file
|
diff
|
annotate
9 months ago
wenzelm
2017-07-03
added command 'alias' and 'type_alias';
file
|
diff
|
annotate
9 months ago
wenzelm
2017-06-30
NEWS;
file
|
diff
|
annotate
10 months ago
wenzelm
2017-06-23
NEWS;
file
|
diff
|
annotate
10 months ago
haftmann
2017-06-20
deleting a code equation never leads to unimplemented function
file
|
diff
|
annotate
10 months ago
blanchet
2017-06-20
SMT news
file
|
diff
|
annotate
10 months ago
wenzelm
2017-06-05
HTML preview via builtin HTTP server;
file
|
diff
|
annotate
11 months ago
eberlm
2017-05-29
reorganised material on sublists
file
|
diff
|
annotate
11 months ago
wenzelm
2017-05-15
NEWS;
file
|
diff
|
annotate
11 months ago
Manuel Eberl
2017-05-05
NEWS: totient 1 = 1 now
file
|
diff
|
annotate
12 months ago
wenzelm
2017-04-24
tuned;
file
|
diff
|
annotate
12 months ago
wenzelm
2017-04-24
clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true;
file
|
diff
|
annotate
12 months ago
wenzelm
2017-04-23
tuned documentation;
file
|
diff
|
annotate
12 months ago
wenzelm
2017-04-23
clarified tool name -- more official status;
file
|
diff
|
annotate
12 months ago
wenzelm
2017-04-22
theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;
file
|
diff
|
annotate
12 months ago
wenzelm
2017-04-21
merged
file
|
diff
|
annotate
12 months ago
wenzelm
2017-04-21
afford unconditional all_known = true (reverting ea42dfd95ec8), for practical usability of qualified imports from arbitrary sessions;
file
|
diff
|
annotate
12 months ago
blanchet
2017-04-20
removed Old_SMT legacy module
file
|
diff
|
annotate
(0)
-3000
-1000
-300
-100
-60
tip