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 -50 -32 +32 +50 +100 +300 +1000 +3000 +10000 +30000 tip

added lemmas involving Min, Max, uminus
2010-02-08, by haftmann
tuned proof
2010-02-08, by haftmann
separate library theory for type classes combining lattices with various algebraic structures
2010-02-08, by haftmann
more quotes;
2010-02-08, by wenzelm
merged
2010-02-08, by haftmann
separate theory for index structures
2010-02-08, by haftmann
more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
2010-02-05, by haftmann
more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
2010-02-05, by haftmann
added explaining comment; added ac_simps slot; drop unused abstract lattice; dropped mysterious syntax declaration
2010-02-05, by haftmann
split SMT perl script: certificate caching and invokation of remote solvers are now in separate scripts,
2010-02-08, by boehmes
removed paranoia setting of signal handler -- appears to be no longer necessary (thanks to Cygwin 1.7?);
2010-02-07, by wenzelm
modernized perl scripts: prefer standalone executables;
2010-02-07, by wenzelm
modernized perl scripts: prefer standalone executables;
2010-02-07, by wenzelm
renamed old-style Drule.standard to Drule.export_without_context, to emphasize that this is in no way a standard operation;
2010-02-07, by wenzelm
prefer explicit @{lemma} over adhoc forward reasoning;
2010-02-07, by wenzelm
simplified interface for ML antiquotations, struct_name is always "Isabelle";
2010-02-07, by wenzelm
tuned isatest ML_OPTIONS;
2010-02-06, by wenzelm
removed ever experimental support for Moscow ML -- hardly works anymore;
2010-02-06, by wenzelm
result: Single_Assignment.var;
2010-02-06, by wenzelm
removed slightly adhoc single-assignment feature, cf. structure Single_Assignment;
2010-02-06, by wenzelm
explicit representation of single-assignment variables;
2010-02-06, by wenzelm
fixed spelling;
2010-02-06, by wenzelm
removed unused "boundary" of Table/Graph.get_first;
2010-02-06, by wenzelm
proper treatment of paths passed to the shell -- to allow spaces in file names as usual;
2010-02-06, by wenzelm
renamed system/system_out to bash/bash_output -- to emphasized that this is really GNU bash, not some undefined POSIX sh;
2010-02-06, by wenzelm
misc tuning;
2010-02-06, by wenzelm
merged
2010-02-06, by haftmann
adjusted to changeset 118b41bba42b5
2010-02-06, by haftmann
tuned font handling;
2010-02-06, by wenzelm
updated versions of requirements;
2010-02-05, by wenzelm
filter out identical completions only after symbols.decode -- recover completion of literal symbols (e.g. \<AA>);
2010-02-05, by wenzelm
eliminated self intersection and non-integer coordinates;
2010-02-05, by wenzelm

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

isabelle