Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Sat, 17 Sep 2011 16:29:18 +0200
added "isabelle scalac" convenience;
changeset
wenzelm [Sat, 17 Sep 2011 16:29:18 +0200] rev 44950
added "isabelle scalac" convenience;
Sat, 17 Sep 2011 16:19:40 +0200
Symbol.explode as in ML;
changeset
wenzelm [Sat, 17 Sep 2011 16:19:40 +0200] rev 44949
Symbol.explode as in ML;
Sat, 17 Sep 2011 16:00:54 +0200
ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient;
changeset
wenzelm [Sat, 17 Sep 2011 16:00:54 +0200] rev 44948
ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient;
Sat, 17 Sep 2011 15:08:55 +0200
dropped unused argument – avoids problem with SML/NJ
changeset
haftmann [Sat, 17 Sep 2011 15:08:55 +0200] rev 44947
dropped unused argument – avoids problem with SML/NJ
Sat, 17 Sep 2011 00:40:27 +0200
tuned spacing
changeset
haftmann [Sat, 17 Sep 2011 00:40:27 +0200] rev 44946
tuned spacing
Sat, 17 Sep 2011 00:37:21 +0200
tuned
changeset
haftmann [Sat, 17 Sep 2011 00:37:21 +0200] rev 44945
tuned
Sat, 17 Sep 2011 04:41:44 +0200
tuned post fixpoint setup
changeset
nipkow [Sat, 17 Sep 2011 04:41:44 +0200] rev 44944
tuned post fixpoint setup
Sat, 17 Sep 2011 03:37:14 +0200
merged
changeset
nipkow [Sat, 17 Sep 2011 03:37:14 +0200] rev 44943
merged
Fri, 16 Sep 2011 09:18:15 +0200
when applying induction rules, remove names of assumptions that come
changeset
nipkow [Fri, 16 Sep 2011 09:18:15 +0200] rev 44942
when applying induction rules, remove names of assumptions that come with the rule in case the rule is transformed by the simplifier due to instantiations
Fri, 16 Sep 2011 20:08:29 +0200
remove stray "using [[simp_trace]]"
changeset
noschinl [Fri, 16 Sep 2011 20:08:29 +0200] rev 44941
remove stray "using [[simp_trace]]"
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip