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/document_model.scala
Fri, 01 Jan 2010 21:53:00 +0100
wenzelm
tuned Change: eliminated redundant copy of document id;
file
|
diff
|
annotate
Fri, 01 Jan 2010 21:37:37 +0100
wenzelm
use isabelle.Future;
file
|
diff
|
annotate
Fri, 01 Jan 2010 17:29:35 +0100
wenzelm
renamed current_document to recent_document (might be a bit older than current_change);
file
|
diff
|
annotate
Fri, 01 Jan 2010 14:41:25 +0100
wenzelm
renamed Proof_Document to Document;
file
|
diff
|
annotate
Wed, 30 Dec 2009 18:22:10 +0100
wenzelm
removed experimental history panel;
file
|
diff
|
annotate
Tue, 29 Dec 2009 20:40:08 +0100
wenzelm
eliminated global Session.document_0 -- did not work due to hardwired id;
file
|
diff
|
annotate
Tue, 15 Dec 2009 20:44:59 +0100
wenzelm
some explicit Swing_Thread guards;
file
|
diff
|
annotate
Tue, 15 Dec 2009 20:20:07 +0100
wenzelm
direct apply for Document_Model and Document_View;
file
|
diff
|
annotate
Tue, 15 Dec 2009 19:50:55 +0100
wenzelm
split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea);
file
|
diff
|
annotate
|
base
less
more
(0)
tip