Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2013-04-10
traytel
declaration attribute for case combinators
changeset
|
files
2013-04-09
berghofe
Handle dummy patterns in parse translation rather than check phase
changeset
|
files
2013-04-05
traytel
disallow coercions to interfere with case translations
changeset
|
files
2013-04-05
traytel
allow redundant cases in the list comprehension translation
changeset
|
files
2013-04-05
traytel
recur in the expression to be matched (do not rely on repetitive execution of a check phase);
changeset
|
files
2013-04-05
traytel
tuned whitespace
changeset
|
files
2013-04-04
berghofe
Use Type.raw_match instead of Sign.typ_match
changeset
|
files
2013-04-05
traytel
special constant to prevent eta-contraction of the check-phase syntax of case translations
changeset
|
files
2013-01-22
traytel
separate data used for case translation from the datatype package
changeset
|
files
2013-01-22
berghofe
case translations performed in a separate check phase (with adjustments by traytel)
changeset
|
files
2013-04-10
wenzelm
formal proof context for axclass proofs;
changeset
|
files
2013-04-10
wenzelm
prefer local context;
changeset
|
files
2013-04-10
wenzelm
proper proof context;
changeset
|
files
2013-04-10
wenzelm
tuned;
changeset
|
files
2013-04-09
wenzelm
merged
changeset
|
files
2013-04-09
wenzelm
add command timings (like document command status);
changeset
|
files
2013-04-09
wenzelm
tuned signature;
changeset
|
files
2013-04-09
wenzelm
public Isabelle_Process.xml_cache (thread-safe);
changeset
|
files
2013-04-09
wenzelm
tuned signature;
changeset
|
files
2013-04-09
wenzelm
just one timing protocol function, with 3 implementations: TTY/PG, PIDE/document, build;
changeset
|
files
2013-04-09
wenzelm
clarified protocol_message undefinedness;
changeset
|
files
2013-04-09
wenzelm
quote by Alan Kay;
changeset
|
files
2013-04-09
wenzelm
more accurate documentation;
changeset
|
files
2013-04-09
wenzelm
discontinued Toplevel.no_timing complication -- also recovers timing of diagnostic commands, e.g. 'find_theorems';
changeset
|
files
2013-04-09
wenzelm
more accurate documentation of "(structure)" mixfix;
changeset
|
files
2013-04-09
wenzelm
more robust static structure reference, avoid dynamic Proof_Context.intern_skolem in Syntax_Phases.decode_term;
changeset
|
files
2013-04-09
wenzelm
tuned comment;
changeset
|
files
2013-04-09
wenzelm
just one syntax category "mixfix" -- check structure annotation semantically;
changeset
|
files
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip