Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
improved Term.invent_names;
2004-05-01, by wenzelm
removed 'constdefs' hack;
2004-05-01, by wenzelm
improved syntax;
2004-05-01, by wenzelm
improved subscript syntax;
2004-05-01, by wenzelm
tuned instance statements;
2004-05-01, by wenzelm
_index1: accomodate improved indexed syntax;
2004-05-01, by wenzelm
breaks flag;
2004-05-01, by wenzelm
warning: non-identifier declaration;
2004-04-29, by wenzelm
added is_keyword;
2004-04-29, by wenzelm
added is_literal;
2004-04-29, by wenzelm
more robust output of definitions;
2004-04-29, by wenzelm
removed 'constdefs' hack;
2004-04-29, by wenzelm
removed spurious quick_and_dirty;
2004-04-29, by wenzelm
HOLCF: discontinued special version of 'constdefs';
2004-04-29, by wenzelm
comments modified
2004-04-28, by webertj
use Syntax.is_ascii_identifier;
2004-04-26, by wenzelm
added is_ascii_identifier;
2004-04-26, by wenzelm
clarification of ascii vs. symbolic entities;
2004-04-26, by wenzelm
tuned presentation;
2004-04-26, by wenzelm
variant: use Symbol.bump_init;
2004-04-26, by wenzelm
removed obsolete 'undo';
2004-04-26, by wenzelm
*** empty log message ***
2004-04-26, by wenzelm
use Syntax.is_identifier;
2004-04-26, by wenzelm
use ThmDatabase.is_ml_identifier;
2004-04-26, by wenzelm
added isasymsome;
2004-04-26, by wenzelm
add solaris and darwin
2004-04-26, by kleing
commented
2004-04-26, by paulson
Isabelle on windoze
2004-04-26, by kleing
added AFP
2004-04-26, by kleing
improved notation;
2004-04-23, by wenzelm
index syntax: support for general expressions (input only);
2004-04-23, by wenzelm
improved messages;
2004-04-23, by wenzelm
HOL-Matrix: document setup;
2004-04-23, by wenzelm
proper document setup;
2004-04-23, by wenzelm
tuned notation;
2004-04-23, by wenzelm
updated -- too late for Isabelle2004!
2004-04-23, by wenzelm
add link to HOL4 libraries
2004-04-23, by kleing
congruent2 now allows different equiv relations
2004-04-23, by paulson
'constdefs' with automatic type-inference and structure context;
2004-04-22, by wenzelm
changed SML/NJ v 45 to 44
2004-04-22, by paulson
Pure: considerably improved version of 'constdefs' command;
2004-04-22, by wenzelm
fixed constdefs typing;
2004-04-22, by wenzelm
constdefs: proper order;
2004-04-22, by wenzelm
tmp hack get back to old 'constdefs';
2004-04-22, by wenzelm
improved notation;
2004-04-22, by wenzelm
added Isar/constdefs.ML;
2004-04-22, by wenzelm
removed add_constdefs(_i), see constdefs.ML for improved version; advanced translation functions;
2004-04-22, by wenzelm
tuned interfaces to accomodate advanced translation functions;
2004-04-22, by wenzelm
non_typed_tr';
2004-04-22, by wenzelm
added opt_keyword, mixfix';
2004-04-22, by wenzelm
support for advanced translation functions;
2004-04-22, by wenzelm
adapted Sign.rep_sg;
2004-04-22, by wenzelm
tuned;
2004-04-22, by wenzelm
improved constdefs and translation functions;
2004-04-22, by wenzelm
moved Complex/NSInduct and Hyperreal/IntFloor to more appropriate
2004-04-22, by paulson
new lemmas
2004-04-22, by paulson
typo
2004-04-22, by kleing
Higher order logic more obvious than set theory
2004-04-22, by kleing
removed 'tutorial out now' (out of date)
2004-04-22, by kleing
added GNU Emacs, fixed x-symbol enabling (Options menu, not Customize)
2004-04-22, by kleing
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip