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

Further development of matrix theory
2004-06-14, by obua
faster defcnf conversion
2004-06-13, by webertj
updated;
2004-06-13, by wenzelm
updated;
2004-06-13, by wenzelm
tuned;
2004-06-13, by wenzelm
tuned Present.drafts;
2004-06-13, by wenzelm
added display_drafts and print_drafts commands;
2004-06-13, by wenzelm
added PRINT_COMMAND setting
2004-06-13, by wenzelm
added isatool display and isatool print;
2004-06-13, by wenzelm
print document
2004-06-13, by wenzelm
display document (in DVI format)
2004-06-13, by wenzelm
root for draft documents;
2004-06-12, by wenzelm
Library.translate_string;
2004-06-12, by wenzelm
added trace (inefficient for very long input);
2004-06-12, by wenzelm
added translate_string;
2004-06-12, by wenzelm
added read (provides transition names and sources);
2004-06-12, by wenzelm
added output_known_symbols; tuned;
2004-06-12, by wenzelm
added name_of, source_of, source;
2004-06-12, by wenzelm
added Present.drafts;
2004-06-12, by wenzelm
added option 'isatool latex -o syms';
2004-06-12, by wenzelm
An oracle is built in. The tactic will not generate any proofs any more, if the quick_and_dirty flag is set on.
2004-06-12, by chaieb
tuned;
2004-06-10, by wenzelm
improved RemoteFile;
2004-06-10, by wenzelm
tuned;
2004-06-10, by wenzelm
Removed this: not really ready yet.
2004-06-10, by aspinall
Interface configuration for Isar
2004-06-10, by aspinall
Sign.is_logtype;
2004-06-09, by wenzelm
prs: Output.output;
2004-06-09, by wenzelm
added split_ext; removed drop_ext;
2004-06-09, by wenzelm
tuned comment;
2004-06-09, by wenzelm

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

isabelle