isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sat, 30 Apr 2005 14:01:45 +0200 use absolute path to find LaTeXSugar and OptionalSugar

changeset

kleing [Sat, 30 Apr 2005 14:01:45 +0200] rev 15898

use absolute path to find LaTeXSugar and OptionalSugar

Sat, 30 Apr 2005 13:09:38 +0200 export DISTPREFIX to devel page Makefile

changeset

isatest [Sat, 30 Apr 2005 13:09:38 +0200] rev 15897

export DISTPREFIX to devel page Makefile

Sat, 30 Apr 2005 03:51:50 +0200 fixed dependencies

changeset

kleing [Sat, 30 Apr 2005 03:51:50 +0200] rev 15896

fixed dependencies

Sat, 30 Apr 2005 02:54:53 +0200 don't leave stale root.pdf / root.dvi

changeset

kleing [Sat, 30 Apr 2005 02:54:53 +0200] rev 15895

don't leave stale root.pdf / root.dvi

Sat, 30 Apr 2005 02:45:17 +0200 move generated files to document/ to avoid CVS file overwrite in generated/

changeset

kleing [Sat, 30 Apr 2005 02:45:17 +0200] rev 15894

move generated files to document/ to avoid CVS file overwrite in generated/ cleanup (no generated root.pdf, session_graph.pdf etc)

Sat, 30 Apr 2005 02:43:45 +0200 move generated files to document/, avoid CVS file overwrite in generated/

changeset

kleing [Sat, 30 Apr 2005 02:43:45 +0200] rev 15893

move generated files to document/, avoid CVS file overwrite in generated/

Sat, 30 Apr 2005 02:19:42 +0200 unused

changeset

kleing [Sat, 30 Apr 2005 02:19:42 +0200] rev 15892

unused

Sat, 30 Apr 2005 00:53:56 +0200 removed obsolete exercise collection (is now in coursematerial)

changeset

kleing [Sat, 30 Apr 2005 00:53:56 +0200] rev 15891

removed obsolete exercise collection (is now in coursematerial)

Fri, 29 Apr 2005 18:13:28 +0200 updated PG preview for new thms-containing

changeset

paulson [Fri, 29 Apr 2005 18:13:28 +0200] rev 15890

updated PG preview for new thms-containing

Fri, 29 Apr 2005 16:45:49 +0200 better error reporting

changeset

paulson [Fri, 29 Apr 2005 16:45:49 +0200] rev 15889

better error reporting

Fri, 29 Apr 2005 13:35:55 +0200 put 8h time limit on test

changeset

kleing [Fri, 29 Apr 2005 13:35:55 +0200] rev 15888

put 8h time limit on test

Fri, 29 Apr 2005 13:12:38 +0200 move isadist to ~/tmp/

changeset

kleing [Fri, 29 Apr 2005 13:12:38 +0200] rev 15887

move isadist to ~/tmp/

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