isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

added Locale paper
1999-05-18, by paulson
locale documentation (from Florian)
1999-05-18, by paulson
../manual.bib a new dependency
1999-05-18, by paulson
cleaned comments;
1999-05-17, by wenzelm
cleaned comments;
1999-05-17, by wenzelm
tuned;
1999-05-17, by wenzelm
cleaned comments;
1999-05-17, by wenzelm
ThyInfo.finalize_all renamed to ThyInfo.finish;
1999-05-17, by wenzelm
node_cases renamed to node_case;
1999-05-17, by wenzelm
prep_ext exported (again);
1999-05-17, by wenzelm
backup operation replaces transaction;
1999-05-17, by wenzelm
removed get_nodes;
1999-05-17, by wenzelm
remove_thy;
1999-05-17, by wenzelm
tuned arrows;
1999-05-17, by wenzelm
Arrows are no longer needed because of redesign of the
1999-05-17, by berghofe
Changed some file names.
1999-05-17, by berghofe
Added function get_preds.
1999-05-17, by berghofe
Added setup for BrowserInfo.
1999-05-17, by berghofe
usedir now recognizes additional option -P which is used to
1999-05-17, by berghofe
Changed interface of function use_dir.
1999-05-17, by berghofe
Present.begin_theory now needs an additional argument of type
1999-05-17, by berghofe
Reimplemented graph generator.
1999-05-17, by berghofe
Added some code to enable browser to display remote documents.
1999-05-17, by berghofe
new thm extend_JN; renamed extend_leadsto
1999-05-17, by paulson
"component" now an infix
1999-05-17, by paulson
indentation
1999-05-17, by paulson
tuned;
1999-05-15, by wenzelm
ad-hoc fix for bold indexes;
1999-05-12, by wenzelm
strip_quotes replaced by unenclose;
1999-05-12, by wenzelm
rearranged some modules;
1999-05-12, by wenzelm
rearranged order of modules;
1999-05-12, by wenzelm
Basic URLs.
1999-05-12, by wenzelm
added url.ML;
1999-05-12, by wenzelm
pdf setup;
1999-05-12, by wenzelm
tuned;
1999-05-12, by wenzelm
fixed msg;
1999-05-11, by wenzelm
moved scan.ML;
1999-05-11, by wenzelm
new comments, variable renaming, etc
1999-05-11, by paulson
tidied
1999-05-11, by paulson
changes for new manual.bib
1999-05-11, by paulson
make pdf;
1999-05-10, by wenzelm
tuned;
1999-05-10, by wenzelm
pdf setup;
1999-05-10, by wenzelm
cite HOLCF;
1999-05-10, by wenzelm
tuned;
1999-05-10, by wenzelm
axclass;
1999-05-10, by wenzelm
axclass;
1999-05-10, by wenzelm
pdf setup;
1999-05-10, by wenzelm
*** empty log message ***
1999-05-10, by wenzelm
*** empty log message ***
1999-05-10, by wenzelm
pdf setup;
1999-05-10, by wenzelm
fixed URLs;
1999-05-10, by wenzelm
pdf setup;
1999-05-10, by wenzelm
replaced png by pdf;
1999-05-07, by wenzelm
pdf pics;
1999-05-07, by wenzelm
tidied
1999-05-07, by paulson
tidied
1999-05-07, by paulson
new refererences for Inductive manual, but still incomplete
1999-05-07, by paulson
tuned;
1999-05-06, by wenzelm
pdf setup;
1999-05-06, by wenzelm

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

isabelle