isabelle: Graph

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

improved \isachartilde for non-tt styles;
2000-09-21, by wenzelm
renamed HOL/ex/Points to HOL/ex/Records;
2000-09-21, by wenzelm
added height="100%" to stretch page to whole browser window
2000-09-21, by kleing
added headline, "quick download", and mailing list archive
2000-09-21, by kleing
added height="100%" to stretch page to whole browser window
2000-09-21, by kleing
*** empty log message ***
2000-09-21, by wenzelm
Digest.thy as toplevel theory
2000-09-21, by kleing
theorem digest of all MicroJava theorems, theories in alphabetical order
2000-09-21, by kleing
New theories: construction of hypernaturals, nonstandard extensions,
2000-09-21, by fleuriot
tuned, added lightweight BV to abstract, added Bali link
2000-09-21, by kleing
Updated Files with new theorems
2000-09-21, by fleuriot
unsymbolized
2000-09-21, by kleing
removed dead code;
2000-09-20, by wenzelm
added "install" target;
2000-09-20, by wenzelm
tuned;
2000-09-20, by wenzelm
tuned rpm command lines;
2000-09-20, by wenzelm
updated;
2000-09-20, by wenzelm
made SML/NJ happy;
2000-09-20, by wenzelm
added common args keywords;
2000-09-19, by wenzelm
tuned args;
2000-09-19, by wenzelm
added iff_add_global', iff_add_local' (syntax "iff?");
2000-09-19, by wenzelm
tuned;
2000-09-19, by wenzelm
attribute / modifier 'iff': support "?" mode;
2000-09-19, by wenzelm
tuned msg;
2000-09-19, by wenzelm
updated;
2000-09-19, by wenzelm
tuned;
2000-09-18, by wenzelm
tuned;
2000-09-18, by wenzelm
remove unreadable symbol names from sources;
2000-09-18, by wenzelm
tuned;
2000-09-18, by wenzelm
added plain "tt" style;
2000-09-18, by wenzelm
*** empty log message ***
2000-09-18, by wenzelm
rpm --force;
2000-09-18, by wenzelm
best-style made default;
2000-09-18, by wenzelm
tuned;
2000-09-18, by wenzelm
tuned;
2000-09-18, by wenzelm
tuned;
2000-09-18, by wenzelm
include ANNOUNCE;
2000-09-18, by wenzelm
improved pages;
2000-09-18, by wenzelm
indicate occurrences of 'handle _';
2000-09-18, by wenzelm
removed -x option;
2000-09-17, by wenzelm
made SML/NJ happy;
2000-09-17, by wenzelm
AddXIs [prod_eqI];
2000-09-17, by wenzelm
AddXIs [ext];
2000-09-17, by wenzelm
added print_thm(s)_sg;
2000-09-17, by wenzelm
begin_theory: removed message;
2000-09-17, by wenzelm
Display.pretty_thm_sg;
2000-09-17, by wenzelm
isar-strip-terminators;
2000-09-17, by wenzelm
tuned;
2000-09-17, by wenzelm
updated;
2000-09-17, by wenzelm
safe_asm_full_simp_tac is back (for compat);
2000-09-15, by wenzelm
cleaned up and prepared for Isabelle99-1;
2000-09-15, by wenzelm
*** empty log message ***
2000-09-15, by wenzelm
added;
2000-09-15, by wenzelm
someI2_ex;
2000-09-15, by wenzelm
added "congs" keyword;
2000-09-15, by wenzelm
fixed someI2_ex;
2000-09-15, by wenzelm
keep export of ISABELLE_TMP (!!!);
2000-09-15, by wenzelm
added s/selectI/someI/g;
2000-09-15, by wenzelm
tuned;
2000-09-15, by wenzelm
XSYMBOL_INSTALLFONTS is back;
2000-09-15, by wenzelm

less more | (0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle