Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-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.
Replaced obsolete "use" command
1996-11-27, by paulson
Uses Basis Library equivalent of cd
1996-11-27, by paulson
Makefile improvements by Thomas Santen and Stephan Herrmann
1996-11-27, by paulson
if_cancel added to HOL_ss
1996-11-26, by oheimb
Removed or eta-expanded some declarations that are illegal under value
1996-11-26, by paulson
Checks for empty files. Replaces auto() calls
1996-11-26, by paulson
Eta-expansion of a function definition, for value polymorphism
1996-11-26, by paulson
Structure Bool and value Int.toString needed to replace makestring calls
1996-11-26, by paulson
Eta-expansion of a function definition, for value polymorphism
1996-11-26, by paulson
Eta-expansion of a function definition, for value polymorphism
1996-11-26, by paulson
Removal of needless function definition
1996-11-26, by paulson
Eta-expansion of a function definition, for value polymorphism
1996-11-26, by paulson
Added instructions on starting up
1996-11-26, by paulson
New material from Norbert Voelker for efficient binary comparisons
1996-11-26, by paulson
A bit of commutative ing theory, with a simplification tacxtic and an example.
1996-11-26, by nipkow
Added Lagrang. Modified comment.
1996-11-26, by nipkow
Replaced LK&Modal by Sequents
1996-11-25, by nipkow
Updating of a reference (Ch. Paulin)
1996-11-22, by paulson
Minor textual improvements; updating of a reference
1996-11-22, by paulson
Have been obsolete for months; contents are now in Shared and NS_Shared
1996-11-22, by paulson
Basis library emulation for old ML compilers
1996-11-22, by paulson
Added warning message
1996-11-21, by paulson
Tidied up some proofs, ...
1996-11-21, by paulson
Minor reformatting
1996-11-21, by paulson
Further comments on versions of SML/NJ
1996-11-21, by paulson
plus -> Plus to avoid hiding class plus
1996-11-20, by nipkow
restored changed prettyprinting of ==>;
1996-11-19, by wenzelm
removed old commented out text;
1996-11-19, by wenzelm
minor tuning;
1996-11-19, by wenzelm
tuned some char names;
1996-11-19, by wenzelm
added this file;
1996-11-19, by wenzelm
added add_modesyntax(_i);
1996-11-19, by wenzelm
added symbolfont syntax;
1996-11-18, by wenzelm
improved string scanner: converts 8 bit chars to escape sequences;
1996-11-18, by wenzelm
mixfix: added syntax for Infirl/rName;
1996-11-18, by wenzelm
extend_const_gram now supports multiple disjoint printer tables;
1996-11-18, by wenzelm
new delimiter syntax in mixfixes: \{SYMBOLNAME} is char from symbol font;
1996-11-18, by wenzelm
added print_mode: string list ref (order of printer tables);
1996-11-18, by wenzelm
added Infixl/rName: specify infix name independently from syntax;
1996-11-18, by wenzelm
added symbol_font.ML;
1996-11-18, by wenzelm
added add_modesyntax(_i);
1996-11-18, by wenzelm
added is_printable: string -> bool;
1996-11-18, by wenzelm
added Syntax/symbol_font.ML;
1996-11-18, by wenzelm
Removal of an obsolete result, and authentication of
1996-11-18, by paulson
Changed subst_bounds to subst_bound, to run faster
1996-11-18, by paulson
Optimizations: removal of polymorphic equality; one-argument case
1996-11-18, by paulson
Speedups involving norm
1996-11-18, by paulson
Introduction of structure Int
1996-11-18, by paulson
Updated and clearer(?) instructions
1996-11-18, by paulson
Modified formal of thms in html file.
1996-11-14, by nipkow
removed 'open Syntax Type';
1996-11-14, by wenzelm
removed silly message;
1996-11-14, by wenzelm
subsig tuning;
1996-11-14, by wenzelm
tuned subsig;
1996-11-13, by wenzelm
Updated version and date
Isabelle94-7
1996-11-13, by paulson
Removal of polymorphic equality via mem, subset, eq_set, etc
1996-11-13, by paulson
In-lined the one function call to normTsh
1996-11-13, by paulson
Removal of polymorphic equality via mem, subset, eq_set, etc
1996-11-13, by paulson
Now moves all Tool/*gif files.
1996-11-12, by nipkow
Changed some mem calls to be monomorphic
1996-11-12, by paulson
less
more
|
(0)
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip