Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
undid renaming accident
18 months ago, by blanchet
renamed t_ functions to T_ (im Auftrag von T. Nipkow)
18 months ago, by blanchet
merged
18 months ago, by paulson
cleanup and de-applying
18 months ago, by paulson
eliminate add_mset
18 months ago, by nipkow
NEWS and CONTRIBUTORS
18 months ago, by haftmann
added lemma
18 months ago, by nipkow
tuned: t -> T
18 months ago, by nipkow
tuned defs and proofs
18 months ago, by nipkow
tuned;
18 months ago, by wenzelm
back to normal;
18 months ago, by wenzelm
use min_height as in (much of?) the literature
18 months ago, by nipkow
use alternative server: https://isabelle.in.tum.de/components is down;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
back to dynamic library_call: not quite portable, e.g. different Windows installations (see e0c6522d5d43, 7cb68b5b103d)
18 months ago, by wenzelm
bundle mixins for locale and class specifications
18 months ago, by haftmann
proper build_call for interpreted ARM platform;
18 months ago, by wenzelm
prefer static library_call, following recent changes to structure Foreign;
18 months ago, by wenzelm
updated to polyml-test-cf46747fee61 --- follow current ongoing development, with notable changes to structure Foreign;
18 months ago, by wenzelm
merged
18 months ago, by paulson
more de-applying
18 months ago, by paulson
merged
18 months ago, by paulson
merged
18 months ago, by paulson
merged
18 months ago, by paulson
a further clean up
18 months ago, by paulson
clarified Windows base line;
18 months ago, by wenzelm
tuned message;
18 months ago, by wenzelm
clarified generated settings;
18 months ago, by wenzelm
proper packages for mercurial_setup;
18 months ago, by wenzelm
more privileges for the sake of mysqldump (avoid workaround --no-tablespaces);
18 months ago, by wenzelm
Isabelle/Phabricator supports Ubuntu 20.04 LTS;
18 months ago, by wenzelm
tuned --- make IntelliJ IDEA happy;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
Added smt (verit) to Sledgehammer's proof preplay.
18 months ago, by desharna
unified slots
18 months ago, by haftmann
unified Local_Theory.init with Generic_Target.init
18 months ago, by haftmann
moved most material from session HOL-Word to Word_Lib in the AFP
18 months ago, by haftmann
removed dependency
18 months ago, by haftmann
better handling of skolemization for Isar reconstruction in Sledgehammer for veriT
18 months ago, by Mathias Fleury
more lemmas
18 months ago, by haftmann
clarified signature: overloaded "+" for Path.append;
18 months ago, by wenzelm
NEWS;
18 months ago, by wenzelm
updated to jdk-11.0.9+11;
18 months ago, by wenzelm
factored out theory Traditional_Syntax
18 months ago, by haftmann
merged
18 months ago, by paulson
tidying and de-applying
18 months ago, by paulson
tuned interfaces
18 months ago, by haftmann
tuned
18 months ago, by haftmann
index for https://isabelle.in.tum.de/components (or clones);
18 months ago, by wenzelm
enforce strict nesting of local theories
19 months ago, by haftmann
tuned names: t_ -> T_
19 months ago, by nipkow
merged
19 months ago, by nipkow
tuned names
19 months ago, by nipkow
support arm64-linux;
19 months ago, by wenzelm
merged
19 months ago, by paulson
tidying and de-applying
19 months ago, by paulson
Added contributors
19 months ago, by desharna
clarified basic Linux packages;
19 months ago, by wenzelm
merged
19 months ago, by paulson
type class reduction
19 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip