Afp 2012 Log


Commit Date  
[ee4fc2] (defaulttip) by kleing

update to Stuttering_Equivalence by Stephan Merz

2013-02-02 06:04:34 Tree
[ccedea] by nipkow

new entry Rank Nullity

2013-01-16 17:26:56 Tree
[5b08d9] by nipkow

tuned doc

2013-01-16 11:48:52 Tree
[3d824e] by nipkow

fixed html

2013-01-16 08:12:22 Tree
[4c267a] by nipkow

new entry Kleene Algebra

2013-01-16 07:51:57 Tree
[5b1d7a] by nipkow

forgot file

2013-01-04 09:21:07 Tree
[4d0bd6] by nipkow

new entry Sqrt_Babylonian

2013-01-04 09:16:02 Tree
[64d88c] by kleing

ROOT must be added after merging with devel for now

2013-01-03 21:28:47 Tree
[e8e1ed] by kleing

add docs for ROOTS file

2012-12-18 10:12:12 Tree
[cd8daf] by nipkow

New entry

2012-11-15 07:46:00 Tree
[b60776] by nipkow

fixed typos

2012-11-09 06:50:41 Tree
[636b79] by nipkow

New entry: Tarskis_Geometry

2012-11-08 12:18:37 Tree
[e5cc12] by nipkow

New entry Bondy

2012-10-27 14:30:41 Tree
[b3a886] by nipkow

new entry

2012-09-10 05:56:24 Tree
[6e285c] by kleing

tuned

2012-09-05 23:56:49 Tree
[b54567] by nipkow

tuned html

2012-08-07 20:16:09 Tree
[84f44e] by nipkow

new entry Datatype_Order_Generator

2012-08-07 20:05:03 Tree
[493f86] by nipkow

fixed bib

2012-08-07 08:48:41 Tree
[112c2b] by nipkow

new entry Impossible_Geometry

2012-08-06 20:24:04 Tree
[33cb96] by nipkow

tuned

2012-07-30 10:35:06 Tree
[a6955c] by nipkow

tuned

2012-07-30 10:29:23 Tree
[c48b14] by nipkow

new entry Heard_Of

2012-07-30 10:21:24 Tree
[65f11b] by kleing

and another tweak

2012-07-28 12:49:25 Tree
[015733] by kleing

fixed typo

2012-07-28 12:48:25 Tree
[3a7a3b] by kleing

more tweaks to referral instructions; linked into rest

2012-07-28 12:46:50 Tree
Older >