Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
1997-03-04 Renamed constant "not" to "Not"
changeset
paulson [Tue, 04 Mar 1997 10:48:36 +0100] rev 2718
Renamed constant "not" to "Not"
1997-03-04 best_tac avoids looping with change to RepFun_eqI in claset
changeset
paulson [Tue, 04 Mar 1997 10:42:28 +0100] rev 2717
best_tac avoids looping with change to RepFun_eqI in claset
1997-03-04 Now uses RepFun_eqI instead of RepFunI;
changeset
paulson [Tue, 04 Mar 1997 10:41:33 +0100] rev 2716
Now uses RepFun_eqI instead of RepFunI; improved version of InterE to replace "make_elim InterD" in claset
1997-03-04 Updated reference to Pelletier erratum
changeset
paulson [Tue, 04 Mar 1997 10:21:16 +0100] rev 2715
Updated reference to Pelletier erratum
1997-03-04 Removed needless quotes
changeset
paulson [Tue, 04 Mar 1997 10:19:38 +0100] rev 2714
Removed needless quotes
1997-03-03 removed bash debug;
changeset
wenzelm [Mon, 03 Mar 1997 18:26:33 +0100] rev 2713
removed bash debug;
1997-03-03 removed -r option;
changeset
wenzelm [Mon, 03 Mar 1997 18:25:17 +0100] rev 2712
removed -r option; added -p option;
1997-03-03 fixed -m order;
changeset
wenzelm [Mon, 03 Mar 1997 18:24:34 +0100] rev 2711
fixed -m order;
1997-03-03 improved xterm, xterm_color;
changeset
wenzelm [Mon, 03 Mar 1997 14:14:04 +0100] rev 2710
improved xterm, xterm_color;
1997-03-03 added comment;
changeset
wenzelm [Mon, 03 Mar 1997 13:53:29 +0100] rev 2709
added comment;
1997-03-03 added comment: print translations do not mark tokens;
changeset
wenzelm [Mon, 03 Mar 1997 13:50:40 +0100] rev 2708
added comment: print translations do not mark tokens;
1997-03-01 added color styles;
changeset
wenzelm [Sat, 01 Mar 1997 20:09:50 +0100] rev 2707
added color styles; refs for test;
1997-02-28 improved err msg;
changeset
wenzelm [Fri, 28 Feb 1997 21:54:37 +0100] rev 2706
improved err msg;
1997-02-28 *** empty log message ***
changeset
wenzelm [Fri, 28 Feb 1997 16:58:42 +0100] rev 2705
*** empty log message ***
1997-02-28 more robust handling of invocation errors;
changeset
wenzelm [Fri, 28 Feb 1997 16:56:31 +0100] rev 2704
more robust handling of invocation errors; added -m MODE option;
1997-02-28 more robust handling of invocation errors;
changeset
wenzelm [Fri, 28 Feb 1997 16:55:35 +0100] rev 2703
more robust handling of invocation errors;
1997-02-28 now uses -m symbols;
changeset
wenzelm [Fri, 28 Feb 1997 16:54:32 +0100] rev 2702
now uses -m symbols;
1997-02-28 split ast_of_term(T);
changeset
wenzelm [Fri, 28 Feb 1997 16:47:56 +0100] rev 2701
split ast_of_term(T); ast_of_term now marks frees; added token translation support;
1997-02-28 added token translation support;
changeset
wenzelm [Fri, 28 Feb 1997 16:46:26 +0100] rev 2700
added token translation support;
1997-02-28 term_of_... now mark class, tfree, tvar;
changeset
wenzelm [Fri, 28 Feb 1997 16:45:38 +0100] rev 2699
term_of_... now mark class, tfree, tvar;
1997-02-28 added mark_bound(T), variant_abs';
changeset
wenzelm [Fri, 28 Feb 1997 16:44:30 +0100] rev 2698
added mark_bound(T), variant_abs'; trfuns now mark bounds they introduce!! added pure_trfunsT;
1997-02-28 Token translations for xterm and LaTeX output.
changeset
wenzelm [Fri, 28 Feb 1997 16:42:06 +0100] rev 2697
Token translations for xterm and LaTeX output.
1997-02-28 added _mk_ofclass(S);
changeset
wenzelm [Fri, 28 Feb 1997 16:41:49 +0100] rev 2696
added _mk_ofclass(S);
1997-02-28 added strlen (includes metric information);
changeset
wenzelm [Fri, 28 Feb 1997 16:41:04 +0100] rev 2695
added strlen (includes metric information); removed map_strs;
1997-02-28 added token_translation interface;
changeset
wenzelm [Fri, 28 Feb 1997 16:40:08 +0100] rev 2694
added token_translation interface;
1997-02-28 added add_tokentrfuns;
changeset
wenzelm [Fri, 28 Feb 1997 16:39:30 +0100] rev 2693
added add_tokentrfuns;
1997-02-28 added Syntax/token_trans.ML;
changeset
wenzelm [Fri, 28 Feb 1997 16:38:55 +0100] rev 2692
added Syntax/token_trans.ML;
1997-02-28 added token_trans.ML;
changeset
wenzelm [Fri, 28 Feb 1997 16:36:49 +0100] rev 2691
added token_trans.ML;
(0) -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle