Afp 2009 Log


Commit Date  
[629347] (defaulttip) by nipkow

fixed hiding

2009-11-29 14:12:11 Tree
[1786b0] by nipkow

new

2009-11-29 13:38:23 Tree
[d6379f] by nipkow

prevent empty generated directories

2009-11-29 13:25:22 Tree
[1fe206] by nipkow

dummy files to avoid empty directory

2009-11-29 13:17:51 Tree
[9e8629] by nipkow

tree automata new

2009-11-29 13:04:07 Tree
[dc8cc2] by nipkow

New

2009-11-29 09:23:36 Tree
[cfc6e8] by nipkow

lowered time limit

2009-11-29 08:28:06 Tree
[75ab87] by lsf37@users.sourceforge.net

recovered lost StdInst.thy generation

2009-11-29 03:45:19 Tree
[b53031] by lsf37@users.sourceforge.net

more standard IsaMakefile

2009-11-29 03:33:21 Tree
[daf2c8] by lsf37@users.sourceforge.net

added .hgignore file

2009-11-29 03:33:05 Tree
[0cd8a8] by nipkow

added Collections

2009-11-28 20:50:30 Tree
[f55143] by nipkow

New

2009-11-28 20:39:08 Tree
[478537] by nipkow

New

2009-11-28 20:00:39 Tree
[4e2914] by nipkow

fixed date

2009-11-24 12:34:56 Tree
[a68438] by nipkow

New

2009-11-24 12:22:39 Tree
[6e8fb3] by nipkow

New

2009-11-24 12:11:26 Tree
[b5f249] by nipkow

merged

2009-11-19 12:45:28 Tree
[66d170] by nipkow

new

2009-11-19 12:44:55 Tree
[bc9c45] by nipkow

new

2009-11-19 12:42:05 Tree
[bd5517] by nipkow

New entry

2009-11-19 10:51:34 Tree
[e41ea1] by lsf37@users.sourceforge.net

Valuation does not have a proof document.

2009-11-04 22:24:37 Tree
[c6278e] by lsf37@users.sourceforge.net

fixed another link

2009-11-04 21:58:34 Tree
[5d8fd8] by lsf37@users.sourceforge.net

fixed some broken links;
made some more link consistent

2009-11-04 11:08:46 Tree
[f2990a] by nipkow

fixed date

2009-10-31 15:48:03 Tree
[4dcb1a] by nipkow

added workerwrapper

2009-10-30 13:20:34 Tree
Older >