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

more qualified ThyInfo names;
2008-07-08, by wenzelm
begin_theory: files_html needs to be produced outside of prep_html_source to make ML files appear!
2008-07-08, by wenzelm
removed unused href_opt_name;
2008-07-08, by wenzelm
migrated at-sml-dev-p to macbroy24, hoping for more reliable hardware
2008-07-08, by kleing
retired mac-sml-dev.
2008-07-07, by kleing
absolute imports of HOL/*.thy theories
2008-07-07, by haftmann
prefer theorem names without numbers
2008-07-04, by huffman
HOL-NSA
2008-07-04, by huffman
added marginal setup for code generation
2008-07-04, by haftmann
use real_of_nat_ge_zero instead of real_of_nat_fact_ge_zero
2008-07-03, by huffman
removed old NSPrimes, cf. NSA/Examples/;
2008-07-03, by wenzelm
cvsps: back to non-verbose mode;
2008-07-03, by wenzelm
removed old Complex/ex/NSPrimes.thy;
2008-07-03, by wenzelm
maxfiles = 50;
2008-07-03, by wenzelm
more sessions;
2008-07-03, by wenzelm
more precise dependencies for HOL-Word and HOL-NSA;
2008-07-03, by wenzelm
fixed extremely slow proof of Chain_inits_DiffI
2008-07-03, by huffman
add Infinite_Set and Zorn back in (since they are no longer included in main HOL image)
2008-07-03, by huffman
move proofs of add_left_cancel and add_right_cancel into the correct locale
2008-07-03, by huffman
cvsps -v (verbose);
2008-07-03, by wenzelm
removed nonstandard analysis theories to HOL-NSA
2008-07-03, by huffman
moved theories to HOL/NSA
2008-07-03, by huffman
add HOL-NSA
2008-07-03, by huffman
use patched cvsps to workaround loss of "foo: bar;" log entries;
2008-07-03, by wenzelm
move nonstandard analysis theories to NSA directory
2008-07-03, by huffman
back to default style, which shows files in changelog view;
2008-07-03, by wenzelm
added description;
2008-07-03, by wenzelm
tuned;
2008-07-03, by wenzelm
logrotate setup;
2008-07-03, by wenzelm
redirect stderr as well;
2008-07-03, by wenzelm
output to log file;
2008-07-03, by wenzelm
specific to CVS;
2008-07-03, by wenzelm
Isabelle repository service.
2008-07-03, by wenzelm
ensure hg/.hg/hgrc;
2008-07-03, by wenzelm
hgrc for conversion and web service;
2008-07-03, by wenzelm
provide HGRCPATH, taken from cvs/Admin;
2008-07-03, by wenzelm
code antiquotation roaring ahead
2008-07-03, by haftmann
tuned
2008-07-03, by haftmann
adjusted postprocessort setup
2008-07-03, by haftmann
added lemma antiquotation
2008-07-03, by haftmann
adjusted rep_datatype
2008-07-03, by haftmann
Adapted to changes in perm_simp / swap_simps.
2008-07-03, by berghofe
Replaced all but one occurrence of perm_simp_tac by perm_simproc_app,
2008-07-03, by berghofe
Rewrote code to use swap_simps rather than calc_atm (which tends to
2008-07-03, by berghofe
moved HOL-Plain up;
2008-07-02, by wenzelm
rename Doc doc-src;
2008-07-02, by wenzelm
renamed Contents to Dirs to avoid case-conflict with doc/Contents;
2008-07-02, by wenzelm
section -> subsection
2008-07-02, by huffman
convert Isabelle CVS to Mercurial;
2008-07-02, by wenzelm
use begin and end for proofs in locales
2008-07-02, by huffman
exclude Distribution/bin/Isabelle;
2008-07-02, by wenzelm
init_theory: pass name explicitly;
2008-07-02, by wenzelm
replaced datatype category constructivism by is_theory/is_proof;
2008-07-02, by wenzelm
Toplevel.init_theory: pass name explicitly;
2008-07-02, by wenzelm
command: always keep transition, not just as initial status;
2008-07-02, by wenzelm
cached code for code antiquotation
2008-07-02, by haftmann
code antiquotation roaring ahead
2008-07-02, by haftmann
cleaned up some code generator configuration
2008-07-02, by haftmann
tuned;
2008-07-01, by wenzelm
added datatype category;
2008-07-01, by wenzelm

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

isabelle