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
.
etc/isabelle.css
2012-09-24
wenzelm
more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker;
file
|
diff
|
annotate
2012-08-10
wenzelm
discontinued mostly unused markup for command spans;
file
|
diff
|
annotate
2012-08-10
wenzelm
more visible markup of malformed input as "bad";
file
|
diff
|
annotate
2012-03-10
wenzelm
discontinued specific entity markup, which causes confusion with "kind" names with spaces (e.g. "type name");
file
|
diff
|
annotate
2011-09-04
wenzelm
eliminated markup for plain identifiers (frequent but insignificant);
file
|
diff
|
annotate
2011-06-29
wenzelm
HTML: render control symbols more like Isabelle/Scala/jEdit;
file
|
diff
|
annotate
2011-06-25
wenzelm
entity markup for "type", "constant";
file
|
diff
|
annotate
2011-06-25
wenzelm
tuned color, to avoid confusion with type variables;
file
|
diff
|
annotate
2011-06-25
wenzelm
discontinued generic XML markup -- this is for XHTML with <span/> elements;
file
|
diff
|
annotate
2011-06-25
wenzelm
type classes: entity markup instead of old-style token markup;
file
|
diff
|
annotate
2011-06-25
wenzelm
clarified Binding.pretty/print: no quotes, only markup -- Binding.str_of is rendered obsolete;
file
|
diff
|
annotate
2011-06-19
wenzelm
discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
file
|
diff
|
annotate
2011-06-18
wenzelm
proper place for config files;
file
|
diff
|
annotate
|
base
less
more
(0)
tip