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
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.
removed timers;
2005-07-06, by wenzelm
debug: exception_trace;
2005-07-06, by wenzelm
finish: Output.accumulated_time;
2005-07-06, by wenzelm
dest_parsers: sort result;
2005-07-06, by wenzelm
added time_accumulator and accumulated_time supercede
2005-07-06, by wenzelm
added full_prop_of: includes tpairs;
2005-07-06, by wenzelm
tuned eq_ix;
2005-07-06, by wenzelm
Context.check_thy;
2005-07-06, by wenzelm
tuned forall_elim_var(s): avoid expensive Term.add_vars;
2005-07-06, by wenzelm
tuned;
2005-07-06, by wenzelm
Thm.full_prop_of;
2005-07-06, by wenzelm
check_thy: less invocations, less verbose;
2005-07-06, by wenzelm
* Pure: Output.time_accumulator;
2005-07-06, by wenzelm
isatool fixheaders;
2005-07-06, by wenzelm
tuned msg;
2005-07-06, by wenzelm
ThyInfo.time_use root;
2005-07-06, by wenzelm
added output_buffer;
2005-07-06, by wenzelm
added write_list, append_list;
2005-07-06, by wenzelm
tuned write: use File.write_list;
2005-07-06, by wenzelm
tuned maxidx;
2005-07-06, by wenzelm
tuned maxidx_of_typ/typs/term;
2005-07-06, by wenzelm
multiple flags: prefer later ones;
2005-07-06, by wenzelm
use Symtab.table instead of ordered lists;
2005-07-06, by wenzelm
added adhoc string_of_term from Pure/term.ML;
2005-07-06, by wenzelm
removed term_lpo (now in Pure/term.ML);
2005-07-06, by wenzelm
tuned;
2005-07-06, by wenzelm
tuned;
2005-07-06, by wenzelm
changed file permissions;
2005-07-06, by wenzelm
changing file permissions ...
2005-07-06, by wenzelm
add keywords cpodef, pcpodef (for HOLCF)
2005-07-06, by huffman
renamed to Pcpodef.thy
2005-07-06, by huffman
use new pcpodef package
2005-07-06, by huffman
add pcpodef files
2005-07-06, by huffman
renamed from TypedefPcpo.thy;
2005-07-06, by huffman
new type definition package for HOLCF
2005-07-06, by huffman
simplified definitions of flift1, flift2, liftpair;
2005-07-05, by huffman
tuned K;
2005-07-05, by wenzelm
fixed regexp grouping;
2005-07-05, by wenzelm
List.app;
2005-07-05, by wenzelm
added combinatros '||>' and '||>>' and fold_map fitting nicely to ST combinator '|->'
2005-07-05, by haftmann
tuned;
2005-07-05, by wenzelm
* Pure: structure OrdList (cf. Pure/General/ord_list.ML);
2005-07-05, by wenzelm
added ST combinator '|->'
2005-07-05, by haftmann
Symtab: use fast_string_ord instead of string_ord -- affects order of Symtab.dest etc.;
2005-07-05, by wenzelm
tuned;
2005-07-05, by wenzelm
made smlnj happy;
2005-07-04, by wenzelm
methods: added simp_flags argument, added "depth_limit" flag;
2005-07-04, by wenzelm
added transform_exceptions: bool ref;
2005-07-04, by wenzelm
tuned;
2005-07-04, by wenzelm
dummy exception_trace;
2005-07-04, by wenzelm
tuned union: avoid garbage in trivial case;
2005-07-04, by wenzelm
dest_ctyp: raise exception for non-constructor;
2005-07-04, by wenzelm
added fast_indexname_ord, fast_term_ord;
2005-07-04, by wenzelm
use fast_string_ord;
2005-07-04, by wenzelm
added fast_string_ord;
2005-07-04, by wenzelm
Streamlined the signal handler in watcher.ML
2005-07-04, by quigley
unified main and dist
2005-07-04, by haftmann
started unifying main and dist
2005-07-04, by haftmann
(intermediate commit)
2005-07-04, by haftmann
Simple report generator for Poly/ML profiling output.
2005-07-02, by wenzelm
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip