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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
tuned pretty format lookup;
1999-02-12, by wenzelm
pretty_thm: quote terms (separately);
1999-02-12, by wenzelm
Symbol.output subject to print mode;
1999-02-11, by wenzelm
-m isabelle_font;
1999-02-11, by wenzelm
tuned;
1999-02-11, by wenzelm
Present.init;
1999-02-11, by wenzelm
init, finish;
1999-02-11, by wenzelm
proper handling of print_mode wrt. Pretty.sym;
1999-02-11, by wenzelm
added output_width;
1999-02-11, by wenzelm
sym: Symbol.output_width;
1999-02-11, by wenzelm
val appends: T list -> T;
1999-02-11, by wenzelm
tuned;
1999-02-11, by wenzelm
tidied; better error messages
1999-02-09, by paulson
new lemma surjD
1999-02-09, by paulson
Context.fetch, Context.setmp;
1999-02-08, by wenzelm
"files" keyword!
1999-02-08, by wenzelm
use: provide context;
1999-02-08, by wenzelm
tuned msgs;
1999-02-08, by wenzelm
tuned msg;
1999-02-08, by wenzelm
added fetch, fetch_theory;
1999-02-08, by wenzelm
~~;
1999-02-08, by wenzelm
path element specification '~~' refers to '$ISABELLE_HOME';
1999-02-08, by wenzelm
no deps on compile time sources;
1999-02-08, by wenzelm
isatool logo;
1999-02-08, by wenzelm
-i option;
1999-02-08, by wenzelm
updated (Stephan Merz);
1999-02-08, by wenzelm
updated TLA;
1999-02-08, by wenzelm
made MLWorks happy;
1999-02-05, by wenzelm
examples made separate dirs;
1999-02-05, by wenzelm
add_path;
1999-02-05, by wenzelm
Hyperreal made part of Real;
1999-02-05, by wenzelm
Session.use_dir: check parent;
1999-02-05, by wenzelm
*** empty log message ***
1999-02-05, by wenzelm
more robust handling of theory context;
1999-02-05, by wenzelm
improved theory, context, update_context;
1999-02-05, by wenzelm
improved 'theory';
1999-02-05, by wenzelm
improved msg;
1999-02-05, by wenzelm
use_thy, update_thy: Context.save;
1999-02-05, by wenzelm
tuned;
1999-02-05, by wenzelm
time_use made pervasive;
1999-02-05, by wenzelm
use_dir: check parent, more robust exit;
1999-02-05, by wenzelm
more robust RC;
1999-02-05, by wenzelm
setmp: theory option;
1999-02-05, by wenzelm
Session.finish ();
1999-02-05, by wenzelm
tidied Schroeder-Bernstein proof
1999-02-05, by paulson
new surj rules
1999-02-05, by paulson
obsolete;
1999-02-04, by wenzelm
tuned;
1999-02-04, by wenzelm
include full paths in file info;
1999-02-04, by wenzelm
Symbol.use;
1999-02-04, by wenzelm
Symbol.use (eliminated Use.exit_use);
1999-02-04, by wenzelm
leave theory context after load_thy;
1999-02-04, by wenzelm
File.pwd, File.cd;
1999-02-04, by wenzelm
fixed file_info;
1999-02-04, by wenzelm
use, cd;
1999-02-04, by wenzelm
added 'use';
1999-02-04, by wenzelm
fail_safe close;
1999-02-04, by wenzelm
check_elem: allow ~, except for '~' and '~~';
1999-02-04, by wenzelm
removed use.ML;
1999-02-04, by wenzelm
removed General/use.ML;
1999-02-04, by wenzelm
less
more
|
(0)
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip