AFP 2013-1 Log


Commit Date  
[0231f2] (Isabelle2013-2) by paulson

Fixing Benzmu?ller again

2013-12-07 17:13:31 Tree
[cc3801] by paulson

Fixed the name Benzmu?ller

2013-12-06 23:51:00 Tree
[466eb6] by kleing

mention UTF-8 for the metadata file

2013-12-04 23:17:40 Tree
[3127a3] by Lars Hupel Lars Hupel

use Python's built-in OrderedDict (>= 2.7)

2013-12-04 09:08:42 Tree
[1abd6a] by Lars Hupel Lars Hupel

use terminal colors to indicate errors/warnings

2013-12-03 16:29:14 Tree
[f8be3c] by kleing

regenerated web site

2013-12-04 10:33:08 Tree
[9c61d7] by Lars Hupel Lars Hupel

migrate from ISO-8859-1 to UTF-8

2013-12-02 11:36:41 Tree
[848abf] by kleing

include entry in AFP group

2013-12-04 08:27:03 Tree
[bd4a4f] by kleing

avoid mentioning $AFP in entries, so things also work without component setup

2013-12-02 01:54:10 Tree
[7a620b] by kleing

new entry by Pasquale Noce

2013-12-02 00:04:08 Tree
[201318] by kleing

, instead of and for author separation in metadata

2013-11-28 22:06:15 Tree
[e7444c] by paulson

added Bruno Woltzenlogel Paleo as author to GoedelGod

2013-11-28 16:10:27 Tree
[598fb9] by paulson

fixed titles of two entries

2013-11-19 12:57:05 Tree
[58fdff] by paulson

fixed two strange characters

2013-11-18 16:33:44 Tree
[c007af] by paulson

fixed two strange characters

2013-11-18 16:24:26 Tree
[8ca175] by paulson

website for new entry GoedelGod

2013-11-18 16:20:12 Tree
[1eb468] by paulson

new entry GoedelGod

2013-11-18 16:00:10 Tree
[50bc80] by paulson

website for new entry FocusStreamsCaseStudies

2013-11-18 14:59:43 Tree
[24a898] by paulson

new entry FocusStreamsCaseStudies

2013-11-18 14:48:32 Tree
[543db9] by kleing

new entry: Decreasing Diagrams

2013-11-18 12:47:48 Tree
[943ad5] by kleing

fix SF file release path

2013-11-18 12:46:13 Tree
[d3f4b0] by kleing

html umlaut

2013-11-17 22:14:30 Tree
[b2b4b6] by paulson

Incompleteness: website

2013-11-17 17:48:12 Tree
[ef2d87] by paulson

Incompleteness: new entry

2013-11-17 17:44:07 Tree
[0eea72] by paulson

New AFP for HereditarilyFinite

2013-11-17 16:41:54 Tree
Older >