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

tuned msg;
2005-06-05, by wenzelm
File.isatool, File.shell_path;
2005-06-05, by wenzelm
present new-style theory header, with 'imports' and 'uses';
2005-06-05, by wenzelm
removed file_info (now in Pure/General/file.ML);
2005-06-05, by wenzelm
new Isar header: reject ':', accept both 'files' and 'uses';
2005-06-05, by wenzelm
added 'uses' keyword;
2005-06-05, by wenzelm
removed copy, copy_all (superceded by File.copy, File.copy_dir);
2005-06-05, by wenzelm
no warning for non-identifiers;
2005-06-05, by wenzelm
removed sysify_path, quote_sysity_path etc.;
2005-06-05, by wenzelm
File.platform_path vs. File.shell_path;
2005-06-05, by wenzelm
File.platform_path;
2005-06-05, by wenzelm
File.shell_path;
2005-06-05, by wenzelm
added isatool version;
2005-06-05, by wenzelm
tuned/updated antiquotations;
2005-06-05, by wenzelm
updated theory header syntax;
2005-06-05, by wenzelm
DISCGARB_OPTIONS: proper treatment of specific polyml versions;
2005-06-05, by wenzelm
observe ISABELLE_IGNORE_USER_SETTINGS;
2005-06-05, by wenzelm
Lucas Dixon;
2005-06-05, by wenzelm
* ML: replaced File.sysify_path/quote_sysify_path by File.platform_path/shell_path;
2005-06-05, by wenzelm
#SMLNJ_CYGWIN_RUNTIME=1
2005-06-05, by wenzelm
added README
2005-06-04, by haftmann
fixed links
2005-06-04, by haftmann
fixed links
2005-06-04, by haftmann
fixed links
2005-06-04, by haftmann
fixed NEWS link
2005-06-04, by haftmann
added library symlink
2005-06-04, by haftmann
added library symlink
2005-06-04, by haftmann
added library symlink
2005-06-04, by haftmann
adjusted navigation width
2005-06-04, by haftmann
added shellcmd style
2005-06-04, by haftmann
added shellcmd style
2005-06-04, by haftmann
added shellcmd style
2005-06-04, by haftmann
added shellcmd style
2005-06-04, by haftmann
re-added binary files
2005-06-04, by haftmann
(temporary remove, forgotten the -b flag...)
2005-06-04, by haftmann
major reorganization and cleanup;
2005-06-04, by wenzelm
added new website
2005-06-04, by haftmann
added explicit dependency on Fix theory
2005-06-04, by huffman
add keywords fixrec and fixpat for HOLCF fixrec package
2005-06-04, by huffman
fix imports
2005-06-04, by huffman
use fixrec_package.ML
2005-06-04, by huffman
import Fix is unnecessary
2005-06-04, by huffman
added fixrec_package.ML
2005-06-04, by huffman
implementation of fixrec package
2005-06-04, by huffman
shrink session graph so it fits on a page
2005-06-04, by huffman
Domain package generates match functions for new datatypes, for use with the fixrec package
2005-06-04, by huffman
add dependency on Fixrec.thy
2005-06-04, by huffman
add Fixrec.thy
2005-06-04, by huffman
New theory with lemmas for the fixrec package
2005-06-04, by huffman
changed variable name in monofun_cfun_arg
2005-06-03, by huffman
fixed renamed theorems
2005-06-03, by huffman
fixed some renamed theorems
2005-06-03, by huffman
renamed defined lemmas
2005-06-03, by huffman
renamed variable in cont2cont_app
2005-06-03, by huffman
changed to use new contlubI, etc.
2005-06-03, by huffman
cleaned up proof of cont_Ifix
2005-06-03, by huffman
replaced cont with cont_def
2005-06-03, by huffman
renamed strict, defined, and inject lemmas; renamed sfst2, ssnd2 to sfst_spair, ssnd_spair
2005-06-03, by huffman
changed to use new contI; renamed strict, defined, and inject lemmas
2005-06-03, by huffman
changed to use new contlubI, monofun_def; renamed cfst2, csnd2 to cfst_cpair, csnd_cpair; added lemma cpair_strict
2005-06-03, by huffman

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

isabelle