Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-3000
-1000
-120
+120
+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.
adapted to new split order;
1998-01-07, by wenzelm
adapted to new sort function;
1998-01-07, by wenzelm
improved targets;
1998-01-07, by wenzelm
tuned;
1998-01-06, by wenzelm
added -u option (again);
1998-01-05, by wenzelm
Now calls Blast_tac more often
1998-01-05, by paulson
obsolete;
1998-01-02, by wenzelm
feeder;
1998-01-02, by wenzelm
Changed required by new blast_tac (the one that squashes flex-flex pairs)
1998-01-02, by paulson
Blast_tac now squashes flex-flex pairs immediately
1998-01-02, by paulson
New theorem image_subsetI
1998-01-02, by paulson
Making proofs faster, especially using keysFor_parts_insert
1998-01-02, by paulson
do require perl;
1998-01-02, by wenzelm
Auto_tac now has type tactic, not unit->tactic
1998-01-02, by paulson
Declared startTiming and endTiming
1998-01-02, by paulson
use feeder to pipe into ML;
1997-12-31, by wenzelm
removed -i option;
1997-12-31, by wenzelm
nth -> !
1997-12-30, by nipkow
nth -> !
1997-12-30, by nipkow
feed isabelle session;
1997-12-29, by wenzelm
commented out symboloutput.pl;
1997-12-29, by wenzelm
added feeder.pl;
1997-12-29, by wenzelm
pretty_name_space;
1997-12-29, by wenzelm
removed declared;
1997-12-29, by wenzelm
removed distinct_fst_string;
1997-12-29, by wenzelm
improved error handling;
1997-12-28, by wenzelm
fixed execute;
1997-12-28, by wenzelm
made MLWorks happy;
1997-12-28, by wenzelm
stderr to $LOG;
1997-12-28, by wenzelm
Symtab.empty;
1997-12-28, by wenzelm
improved internal representation;
1997-12-28, by wenzelm
renamed Symtab.null to Symtab.empty;
1997-12-28, by wenzelm
renamed Symtab.null to Symtab.empty;
1997-12-28, by wenzelm
renamed Symtab.null to Symtab.empty;
1997-12-28, by wenzelm
added >> : (theory -> theory) -> unit;
1997-12-28, by wenzelm
tuned;
1997-12-28, by wenzelm
replaced symtab.ML by table.ML;
1997-12-28, by wenzelm
renamed (is_)null to (is_)empty;
1997-12-28, by wenzelm
Generic tables (lacking delete operation). Implemented as 2-3 trees.
1997-12-27, by wenzelm
tuned;
1997-12-24, by wenzelm
export range_type;
1997-12-24, by wenzelm
improved comment;
1997-12-24, by wenzelm
More restrictive patterns to prevent changing comments
1997-12-24, by paulson
New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
1997-12-24, by paulson
Tidied using rev_iffD1
1997-12-23, by paulson
Now Blast_tac works properly
1997-12-23, by paulson
Tidied. Also better proof using new blast_tac
1997-12-23, by paulson
Decremented subscript because of change to iffD1
1997-12-23, by paulson
Tidied using rev_iffD1, etc
1997-12-23, by paulson
Tidied using rev_iffD1
1997-12-23, by paulson
Tidied using more default rules
1997-12-23, by paulson
Overloading info for image
1997-12-23, by paulson
tidied
1997-12-23, by paulson
New rules rev_iffD{1,2}
1997-12-23, by paulson
Better equality handling in Blast_tac, usingd a new variant of hyp_subst_tac
1997-12-23, by paulson
New "obvious theorems"
1997-12-23, by paulson
Added range-type for completeness
1997-12-22, by paulson
New example
1997-12-22, by paulson
New rules rev_iffD{1,2}
1997-12-22, by paulson
corrected removal to /tmp/tmp.c
1997-12-19, by oheimb
added removal to /tmp/tmp.txt
1997-12-19, by oheimb
records without signature
1997-12-19, by narasche
remove signatrue from records
1997-12-19, by narasche
tuned;
1997-12-19, by wenzelm
new version;
1997-12-19, by wenzelm
added record.ML;
1997-12-19, by wenzelm
first version of records
1997-12-19, by narasche
pasted old insertion sort (does not work with new sort function!)
1997-12-19, by wenzelm
adapted to new sort function;
1997-12-19, by wenzelm
log file;
1997-12-19, by wenzelm
leading 0s;
1997-12-19, by wenzelm
tuned;
1997-12-19, by wenzelm
adapted to new sort function;
1997-12-19, by wenzelm
log files;
1997-12-19, by wenzelm
tuned;
1997-12-19, by wenzelm
added rev_order, make_ord;
1997-12-19, by wenzelm
term order;
1997-12-19, by wenzelm
term order stuff moved to term.ML;
1997-12-19, by wenzelm
log file;
1997-12-19, by wenzelm
'clean' target;
1997-12-19, by wenzelm
adapted to new sort function;
1997-12-19, by wenzelm
Term.termless;
1997-12-19, by wenzelm
adapted to new sort function;
1997-12-19, by wenzelm
removed maketest;
1997-12-19, by wenzelm
showtime - print time.
1997-12-18, by wenzelm
added expand_split_asm
1997-12-18, by oheimb
UNIV_I no longer counts as safe
1997-12-18, by paulson
tuned;
1997-12-17, by wenzelm
added mlworks;
1997-12-17, by wenzelm
added MLWorks;
1997-12-17, by wenzelm
misc improvements;
1997-12-17, by wenzelm
tuned tmp file name;
1997-12-17, by wenzelm
tuned comment;
1997-12-17, by wenzelm
added ML-Systems/mlworks.ML;
1997-12-17, by wenzelm
MLWorks startup script (for 1.0r2 or later).
1997-12-16, by wenzelm
renamed to mlworks.ML;
1997-12-16, by wenzelm
Compatibility file for MLWorks version 1.0r2 or later.
1997-12-16, by wenzelm
expandshort;
1997-12-16, by wenzelm
Simplified proofs using rewrites for f``A where f is injective
1997-12-16, by paulson
Simplified SpyKeys and ClientKeyExch as suggested by James Margetson
1997-12-16, by paulson
obsolete;
1997-12-16, by wenzelm
tuned;
1997-12-16, by wenzelm
obsolete;
1997-12-16, by wenzelm
adapted from Larry's version;
1997-12-16, by wenzelm
improved;
1997-12-16, by wenzelm
improved COMMIT_RO;
1997-12-15, by wenzelm
tuned;
1997-12-15, by wenzelm
polyml-3.1;
1997-12-15, by wenzelm
make smlnj-110 default;
1997-12-15, by wenzelm
tuned;
1997-12-15, by wenzelm
tuned;
1997-12-15, by wenzelm
No longer depend on theory context!
1997-12-15, by wenzelm
version = "Isabelle98: Jan 1998";
1997-12-13, by wenzelm
tuned comment;
1997-12-13, by wenzelm
smlnj-110;
1997-12-13, by wenzelm
deleted smlnj-1.09.ML;
1997-12-12, by wenzelm
obsolete;
1997-12-12, by wenzelm
Compatibility file for Standard ML of New Jersey.
1997-12-12, by wenzelm
tuned;
1997-12-12, by wenzelm
prepared for Isabelle98;
1997-12-12, by wenzelm
less
more
|
(0)
-3000
-1000
-120
+120
+1000
+3000
+10000
+30000
tip