Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/Tools/jEdit/src/jedit/OptionPane.scala
Sun, 11 Jan 2009 22:02:27 +0100
wenzelm
tuned;
file
|
diff
|
annotate
Sun, 11 Jan 2009 19:32:26 +0100
wenzelm
maintain Isabelle properties via object Isabelle.Property with apply/update methods;
file
|
diff
|
annotate
Sat, 27 Dec 2008 15:03:32 +0100
wenzelm
replaced static IsabelleSystem by Isabelle.system;
file
|
diff
|
annotate
Sat, 27 Dec 2008 14:13:05 +0100
wenzelm
renamed object Plugin to Isabelle;
file
|
diff
|
annotate
Sat, 27 Dec 2008 12:29:15 +0100
wenzelm
IsabelleSystem.find_logics;
file
|
diff
|
annotate
Sun, 21 Dec 2008 21:43:40 +0100
wenzelm
renamed Plugin.plugin to Plugin.self;
file
|
diff
|
annotate
Fri, 19 Dec 2008 23:11:08 +0100
wenzelm
added some headers and comments;
file
|
diff
|
annotate
Fri, 19 Dec 2008 22:24:32 +0100
wenzelm
added some headers and comments;
file
|
diff
|
annotate
Sun, 19 Oct 2008 16:51:55 +0200
wenzelm
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
file
|
diff
|
annotate
less
more
(0)
tip