isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Fri, 29 Apr 2005 13:11:42 +0200 publish only *.html

changeset

kleing [Fri, 29 Apr 2005 13:11:42 +0200] rev 15886

publish only *.html

Fri, 29 Apr 2005 13:11:19 +0200 include new thms_containing

changeset

kleing [Fri, 29 Apr 2005 13:11:19 +0200] rev 15885

include new thms_containing

Fri, 29 Apr 2005 11:42:46 +0200 credits

changeset

kleing [Fri, 29 Apr 2005 11:42:46 +0200] rev 15884

credits

Fri, 29 Apr 2005 11:40:29 +0200 new thms_containing that searches for patterns instead of constants

changeset

kleing [Fri, 29 Apr 2005 11:40:29 +0200] rev 15883

new thms_containing that searches for patterns instead of constants (by Rafal Kolanski, NICTA)

Fri, 29 Apr 2005 11:22:41 +0200 new thms_containing that searches for patterns instead of constants

changeset

kleing [Fri, 29 Apr 2005 11:22:41 +0200] rev 15882

new thms_containing that searches for patterns instead of constants (by Rafal Kolanski, NICTA)

Fri, 29 Apr 2005 08:05:06 +0200 added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)

changeset

haftmann [Fri, 29 Apr 2005 08:05:06 +0200] rev 15881

added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)

Fri, 29 Apr 2005 08:03:01 +0200 added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)

changeset

haftmann [Fri, 29 Apr 2005 08:03:01 +0200] rev 15880

added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)

Fri, 29 Apr 2005 00:52:12 +0200 version update

changeset

kleing [Fri, 29 Apr 2005 00:52:12 +0200] rev 15879

version update

Fri, 29 Apr 2005 00:51:34 +0200 include x86_64

changeset

kleing [Fri, 29 Apr 2005 00:51:34 +0200] rev 15878

include x86_64

Thu, 28 Apr 2005 21:36:25 +0200 make symlink handling compatible with whitespaces

changeset

wenzelm [Thu, 28 Apr 2005 21:36:25 +0200] rev 15877

make symlink handling compatible with whitespaces

Thu, 28 Apr 2005 21:36:08 +0200 sane interfaces for tactical instance proofs (do not expand defs of theory, proper handling of sort instances);

changeset

wenzelm [Thu, 28 Apr 2005 21:36:08 +0200] rev 15876

sane interfaces for tactical instance proofs (do not expand defs of theory, proper handling of sort instances); keep legacy stuff separate; tuned;

Thu, 28 Apr 2005 21:35:47 +0200 added plain_prop_of;

changeset

wenzelm [Thu, 28 Apr 2005 21:35:47 +0200] rev 15875

added plain_prop_of;

Thu, 28 Apr 2005 21:35:25 +0200 added smart_conjunction_tac, prove_multi, prove_multi_standard;

changeset

wenzelm [Thu, 28 Apr 2005 21:35:25 +0200] rev 15874

added smart_conjunction_tac, prove_multi, prove_multi_standard;

Thu, 28 Apr 2005 17:57:13 +0200 auto update

changeset

paulson [Thu, 28 Apr 2005 17:57:13 +0200] rev 15873

auto update

Thu, 28 Apr 2005 17:56:58 +0200 fixed treatment of higher-order simprules

changeset

paulson [Thu, 28 Apr 2005 17:56:58 +0200] rev 15872

fixed treatment of higher-order simprules

Thu, 28 Apr 2005 17:08:08 +0200 *** empty log message ***

changeset

bauerg [Thu, 28 Apr 2005 17:08:08 +0200] rev 15871

*** empty log message ***

Thu, 28 Apr 2005 12:04:34 +0200 more on rev

changeset

kleing [Thu, 28 Apr 2005 12:04:34 +0200] rev 15870