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/Pure/PIDE/document.ML
Tue, 17 Aug 2010 15:10:49 +0200
wenzelm
added functor Linear_Set, based on former adhoc structures in document.ML;
file
|
diff
|
annotate
Sun, 15 Aug 2010 20:13:07 +0200
wenzelm
document commands: maintain transition as future (wrt. potentially slow Outer_Syntax.prepare_command), refrain from second Toplevel.put_id;
file
|
diff
|
annotate
Sun, 15 Aug 2010 19:30:11 +0200
wenzelm
renamed create_id to new_id;
file
|
diff
|
annotate
Sun, 15 Aug 2010 18:41:23 +0200
wenzelm
more explicit / functional ML version of document model;
file
|
diff
|
annotate
Sat, 14 Aug 2010 22:45:23 +0200
wenzelm
more basic Markup.parse_int/print_int (using signed_string_of_int) (ML);
file
|
diff
|
annotate
Sat, 14 Aug 2010 11:52:24 +0200
wenzelm
tuned;
file
|
diff
|
annotate
Thu, 12 Aug 2010 15:19:11 +0200
wenzelm
clarified "state" (accumulated data) vs. "exec" (execution that produces data);
file
|
diff
|
annotate
Wed, 11 Aug 2010 22:41:26 +0200
wenzelm
represent document ids by (long) int, to benefit from the somewhat faster Inttab in ML (LinearSet in Scala is invariably indexed by native object ids);
file
|
diff
|
annotate
Thu, 05 Aug 2010 14:35:35 +0200
wenzelm
simplified/refined document model: collection of named nodes, without proper dependencies yet;
file
|
diff
|
annotate
less
more
(0)
tip