isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

removing obselete Id comments from HOL/ex theories
2011-01-07, by bulwahn
added hints about licensing restrictions and how to enable Z3
2011-01-07, by boehmes
tuned
2011-01-07, by boehmes
eliminated hard tabs;
2011-01-07, by wenzelm
allow spaces in $SPASS_HOME value;
2011-01-07, by wenzelm
tuned;
2011-01-07, by wenzelm
eliminated alias;
2011-01-07, by wenzelm
do not open ML structures;
2011-01-07, by wenzelm
more standard package setup;
2011-01-07, by wenzelm
do not open ML structures;
2011-01-07, by wenzelm
updated scala;
2011-01-07, by wenzelm
do not open ML structures;
2011-01-07, by wenzelm
do not open Codegen;
2011-01-07, by wenzelm
tuned whitespace, indentation, comments;
2011-01-07, by wenzelm
updated for release;
2011-01-07, by wenzelm
tuned;
2011-01-07, by wenzelm
more precise parentheses and indentation;
2011-01-07, by wenzelm
comments;
2011-01-07, by wenzelm
updated for 2011;
2011-01-07, by wenzelm
shortened the warning about uninstalled SMT solvers (the additional hint might get obsolete without further notice)
2011-01-07, by boehmes
tuned NEWS
2011-01-07, by krauss
avoid ML structure aliases (especially single-letter abbreviations)
2011-01-07, by boehmes
made SML/NJ happy
2011-01-07, by boehmes
rename constant u_defl to u_liftdefl;
2011-01-06, by huffman
rename constant pdefl to liftdefl_of
2011-01-06, by huffman
Diagnostic command to show locale dependencies.
2011-01-06, by ballarin
Documentation for 'interpret' and 'sublocale' with mixins.
2011-01-06, by ballarin
Abelian group facts obtained from group facts via interpretation (sublocale).
2011-01-06, by ballarin
differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3");
2011-01-06, by boehmes
remove various lemmas redundant with lub_eq_bottom_iff
2011-01-04, by huffman
change some lemma names containing 'UU' to 'bottom'
2011-01-04, by huffman
renamed constant 'UU' to 'bottom', keeping 'UU' as alternative input syntax;
2011-01-04, by huffman
merged
2011-01-03, by boehmes
updated SMT certificates
2011-01-03, by boehmes
re-implemented support for datatypes (including records and typedefs);
2011-01-03, by boehmes
tuned whitespace
2011-01-03, by haftmann
do not open structure Codegen;
2010-12-31, by wenzelm
do not open auxiliary ML structures;
2010-12-30, by wenzelm
uniform treatment of type vs. term environment (cf. b654fa27fbc4);
2010-12-30, by wenzelm
uniform treatment of typ_match and raw_match (cf. b654fa27fbc4);
2010-12-30, by wenzelm
tuned isatest settings;
2010-12-30, by wenzelm
merged
2010-12-29, by wenzelm
more robust decomposition of simultaneous goals
2010-12-29, by krauss
function (default) is legacy feature
2010-12-29, by krauss
more scalable Symbol_Pos.explode;
2010-12-29, by wenzelm
tuned ML toplevel pp for type string: observe depth limit;
2010-12-29, by wenzelm
theory loader: implicit load path is considered legacy;
2010-12-29, by wenzelm
explicit file specifications -- avoid secondary load path;
2010-12-29, by wenzelm
check_file: secondary load path is legacy feature;
2010-12-29, by wenzelm
share_common_data dummy;
2010-12-29, by wenzelm
made SML/NJ happy;
2010-12-29, by wenzelm
made SML/NJ happy;
2010-12-29, by wenzelm
tuned comments;
2010-12-29, by wenzelm
made SML/NJ happy;
2010-12-29, by wenzelm
made SML/NJ happy;
2010-12-28, by wenzelm
function (tailrec) is a legacy feature
2010-12-27, by krauss
dropped duplicate unused lemmas;
2010-12-25, by krauss
partial_function (tailrec) replaces function (tailrec);
2010-12-25, by krauss
remove lemma ideal_completion.principal_induct2, use principal_induct twice instead
2010-12-24, by huffman
NEWS updates for HOLCF
2010-12-23, by huffman

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

isabelle