Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-50
-24
+24
+50
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2007-10-21
urbanc
tuned
changeset
|
files
2007-10-21
urbanc
further comments
changeset
|
files
2007-10-21
urbanc
polished the proofs and added a version of the weakening lemma that does not use the variable convention
changeset
|
files
2007-10-21
wenzelm
fixed proof: neq0_conv;
changeset
|
files
2007-10-21
wenzelm
modernized specifications ('definition', 'axiomatization');
changeset
|
files
2007-10-21
nipkow
Eliminated most of the neq0_conv occurrences. As a result, many
changeset
|
files
2007-10-21
wenzelm
context_const_ast_tr: proper const_syntax_name (cf. @{const_syntax});
changeset
|
files
2007-10-21
wenzelm
removed obsolete ML bindings;
changeset
|
files
2007-10-21
wenzelm
modernized specifications ('definition', 'abbreviation', 'notation');
changeset
|
files
2007-10-21
wenzelm
avoid very slow metis invocation;
changeset
|
files
2007-10-21
wenzelm
misc tuning;
changeset
|
files
2007-10-21
chaieb
Fixed Bug in instantiation of Groebner Bases to field: dest_const used to raise TERM where the tactic handles ERROR
changeset
|
files
2007-10-21
urbanc
tuned the entry about nominal datatypes
changeset
|
files
2007-10-20
wenzelm
updated versions;
changeset
|
files
2007-10-20
wenzelm
discontinued support for 4.1.1, 4.1.2;
changeset
|
files
2007-10-20
wenzelm
maintain PolyML.Compiler.printInAlphabeticalOrder in polyml.ML;
changeset
|
files
2007-10-20
wenzelm
discontinued support for 4.1.1, 4.1.2;
changeset
|
files
2007-10-20
wenzelm
moved internalM to PrintMode.internal;
changeset
|
files
2007-10-20
wenzelm
tuned abbrev interface;
changeset
|
files
2007-10-20
wenzelm
tuned abbrev interface;
changeset
|
files
2007-10-20
wenzelm
added fixed_abbrev;
changeset
|
files
2007-10-20
wenzelm
added input/internal, which are never active in print_mode_value;
changeset
|
files
2007-10-20
wenzelm
no_variables: tuned error msg;
changeset
|
files
2007-10-20
wenzelm
PrintMode.internal;
changeset
|
files
(0)
-10000
-3000
-1000
-300
-100
-50
-24
+24
+50
+100
+300
+1000
+3000
+10000
+30000
tip