SourceForge has been redesigned. Learn more.
Close

Afp 2004 Log


Commit Date  
[f3dc84] (defaulttip) by gerwin.klein@nicta.com.au

close in-repos Isabelle2004 branch

2009-09-17 00:25:19 Tree
[0c1149] (Isabelle2004) by lp15

new submission Ordinal

2005-11-14 10:07:45 Tree
[2b5a8f] by lp15

new submission Ordinal

2005-11-14 09:48:53 Tree
[16d33f] by lsf37

link to citation style

2005-08-03 23:35:24 Tree
[57d22c] by lsf37

how to cite an AFP entry

2005-08-02 00:30:38 Tree
[391650] by lsf37

fixed

2005-07-21 23:05:58 Tree
[a846ee] by lsf37

added link to completeness paper

2005-07-21 23:03:39 Tree
[a3b953] by lsf37

link in page on updating

2005-06-29 05:47:28 Tree
[94087e] by lsf37

typo in file name

2005-06-29 04:48:17 Tree
[7975b0] by lsf37

how to deal with updates

2005-06-29 04:40:55 Tree
[4a8709] by lsf37

fixed theory and document path

2005-06-23 23:57:40 Tree
[13b946] by lsf37

GenClock submission by Alwen Tiu

2005-06-23 23:52:02 Tree
[aa04e1] by lsf37

GenClock submission by Alwen Tiu

2005-06-23 23:46:24 Tree
[43039f] by lsf37

be more precise with permission settings

2005-06-21 23:56:47 Tree
[867849] by lsf37

DiskPaxos submission

2005-06-21 23:01:28 Tree
[ce284d] by lsf37

DiskPaxos submission

2005-06-21 22:47:27 Tree
[53becf] by lsf37

fixed 2005 table

2005-05-31 23:32:51 Tree
[97d37f] by lsf37

google seems to be faster now

2005-05-18 11:01:06 Tree
[a731a3] by lsf37

don't wait for all sessions in isabelle devel test to finish,
only the relevant one

2005-05-17 05:31:09 Tree
[0cf86f] by lsf37

added headers and time limit for test

2005-04-30 12:35:45 Tree
[dc6263] by lsf37

added config file for regression test

2005-04-30 12:21:50 Tree
[a59f44] by lsf37

merge from main

2005-04-30 02:00:34 Tree
[5f5a22] by lp15

fixed year: 2005

2005-04-21 10:50:27 Tree
[412010] by lp15

fixed spelling

2005-04-21 10:44:55 Tree
[cd1365] by lp15

new submission

2005-04-21 10:38:42 Tree
Older >