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.
Issue a warning, when "function" encounters variables occuring in function position,
2007-08-07, by krauss
more error handling
2007-08-07, by krauss
added more instances;
2007-08-07, by wenzelm
simplified internal interfaces; cong rules are now handled directly by "context_tree.ML"
2007-08-07, by krauss
split off Option theory
2007-08-07, by haftmann
new nbe implementation
2007-08-07, by haftmann
more robust simproces
2007-08-07, by haftmann
tuned
2007-08-07, by haftmann
simplified proofs
2007-08-07, by haftmann
split off theory Option for benefit of code generator
2007-08-07, by haftmann
changed import order
2007-08-07, by haftmann
added more instances;
2007-08-06, by wenzelm
ML-Systems/overloading_smlnj.ML;
2007-08-06, by wenzelm
Overloading in SML/NJ.
2007-08-06, by wenzelm
Added renaming function to prevent correctness proof for realizer
2007-08-06, by berghofe
No document for Pretty_Int theory.
2007-08-06, by berghofe
nbe improved
2007-08-06, by haftmann
removed
2007-08-06, by haftmann
simultaneous use_thys;
2007-08-03, by wenzelm
reactivated Nominal/Examples/Class.thy;
2007-08-03, by wenzelm
replaced outdated flag by update_time (multithreading-safe presentation order);
2007-08-03, by wenzelm
sort indexes according to symbolic update_time (multithreading-safe);
2007-08-03, by wenzelm
use separate trace flag instead of Output.debug;
2007-08-03, by wenzelm
named some CRITICAL sections;
2007-08-03, by wenzelm
misc cleanup of ML bindings (for multihreading);
2007-08-03, by wenzelm
added int type constraint to accomodate hacked SML/NJ (backported change in generated metis.ML);
2007-08-03, by wenzelm
preparations for proper type int;
2007-08-03, by wenzelm
tuned tracing;
2007-08-03, by wenzelm
replaced Theory.self_ref by Theory.check_thy, which now produces a checked ref;
2007-08-03, by wenzelm
certify: no check_thy here;
2007-08-03, by wenzelm
improved check_thy: produce a checked theory_ref (thread-safe version);
2007-08-03, by wenzelm
moved Admin/proper_int.ML to Pure/ML-Systems/proper_int.ML;
2007-08-03, by wenzelm
added dependency on Tools/Metis/metis.ML;
2007-08-03, by wenzelm
updated;
2007-08-03, by wenzelm
replaced Theory.self_ref by Theory.check_thy, which now produces a checked ref;
2007-08-03, by wenzelm
reset Logic.auto_rename;
2007-08-02, by wenzelm
added int type constraints to accomodate hacked SML/NJ;
2007-08-02, by wenzelm
added int type constraints to accomodate hacked SML/NJ;
2007-08-02, by wenzelm
added int type constraints to accomodate hacked SML/NJ;
2007-08-02, by wenzelm
made mk_int/dest_int pervasive;
2007-08-02, by wenzelm
Experimental removal of assumptions of the form x : UNIV and the like after interpretation.
2007-08-02, by ballarin
Repaired term_of_char.
2007-08-02, by berghofe
- Added cycle test to function mk_ind_def to avoid non-termination
2007-08-02, by berghofe
tuned;
2007-08-02, by wenzelm
converted Meson tests to proper theory;
2007-08-02, by wenzelm
turned simp_depth_limit into configuration option;
2007-08-02, by wenzelm
added name_of;
2007-08-02, by wenzelm
turned simp_depth_limit into configuration option;
2007-08-02, by wenzelm
tuned ML bindings (for multithreading);
2007-08-01, by wenzelm
tuned ML bindings (for multithreading);
2007-08-01, by wenzelm
fix looping when applied to standard subgoals
2007-08-01, by huffman
updated;
2007-08-01, by wenzelm
tracing: level;
2007-08-01, by wenzelm
multithreading trace: int;
2007-08-01, by wenzelm
added toplevel print command;
2007-08-01, by wenzelm
tuned;
2007-08-01, by wenzelm
renamed 'print_options' to 'print_configs';
2007-08-01, by wenzelm
renamed config_option.ML to config.ML;
2007-08-01, by wenzelm
renamed config_option.ML to config.ML;
2007-08-01, by wenzelm
simplified internal Config interface;
2007-08-01, by wenzelm
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip