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/Cube/Cube.thy
2019-01-04
wenzelm
isabelle update -u control_cartouches;
file
|
diff
|
annotate
2015-10-10
wenzelm
tuned;
file
|
diff
|
annotate
2015-10-10
wenzelm
tuned syntax -- more symbols;
file
|
diff
|
annotate
2015-10-10
wenzelm
more symbols;
file
|
diff
|
annotate
2014-11-02
wenzelm
modernized header uniformly as section;
file
|
diff
|
annotate
2014-10-07
wenzelm
more cartouches;
file
|
diff
|
annotate
2014-08-16
wenzelm
prefer 'named_theorems' over Named_Thms, with subtle change of semantics due to visual order vs. internal reverse order;
file
|
diff
|
annotate
2013-05-25
wenzelm
syntax translations always depend on context;
file
|
diff
|
annotate
2012-10-10
wenzelm
modernized dynamic "rules" -- avoid rebinding of static facts;
file
|
diff
|
annotate
2011-10-22
wenzelm
discontinued redundant ASCII syntax;
file
|
diff
|
annotate
2011-10-22
wenzelm
modernized specifications;
file
|
diff
|
annotate
2011-04-08
wenzelm
explicit structure Syntax_Trans;
file
|
diff
|
annotate
2011-01-12
wenzelm
eliminated global prems;
file
|
diff
|
annotate
2010-12-17
wenzelm
replaced command 'nonterminals' by slightly modernized version 'nonterminal';
file
|
diff
|
annotate
2010-09-20
wenzelm
renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
file
|
diff
|
annotate
2010-02-21
wenzelm
adapted to authentic syntax;
file
|
diff
|
annotate
2010-02-11
wenzelm
modernized translations;
file
|
diff
|
annotate
2010-02-08
wenzelm
modernized some syntax translations;
file
|
diff
|
annotate
2008-05-18
wenzelm
setup PureThy.old_appl_syntax_setup -- theory Pure provides regular application syntax by default;
file
|
diff
|
annotate
2007-09-30
wenzelm
avoid internal names;
file
|
diff
|
annotate
2007-04-26
wenzelm
added header;
file
|
diff
|
annotate
2005-10-07
wenzelm
replaced _K by dummy abstraction;
file
|
diff
|
annotate
2005-09-05
wenzelm
tuned;
file
|
diff
|
annotate
2005-09-03
wenzelm
converted to Isar theory format;
file
|
diff
|
annotate
2001-04-19
paulson
renaming of theory LOmega to lomega2 in order to prevent a possible
file
|
diff
|
annotate
1998-01-20
wenzelm
reorganized into individual theories;
file
|
diff
|
annotate
1997-10-06
wenzelm
"->" made syntax;
file
|
diff
|
annotate
1997-10-06
wenzelm
syntactic constants;
file
|
diff
|
annotate
1995-06-21
clasohm
removed \...\ inside strings
file
|
diff
|
annotate
1994-05-03
lcp
removal of obsolete type-declaration syntax
file
|
diff
|
annotate
1993-10-04
wenzelm
replaced id by idt;
file
|
diff
|
annotate
1993-09-16
clasohm
Initial revision
file
|
diff
|
annotate
less
more
(0)
tip