From 51bf4e0380899ca350a002b2c5ee840e61d16b33 Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 23 Oct 2013 14:24:04 +0000 Subject: [PATCH] GF home page: update PGF library API link GF 3.5 is now on Hackage and the automatic generation of Haddock documentation succeeded for the first time in a long time! --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index e6310a1de..895c69734 100644 --- a/index.html +++ b/index.html @@ -55,7 +55,7 @@ August 2013 | GF Editor Modes | GF Eclipse Plugin | LibTutorial -| PGF library API +| PGF library API | MOLTO | SummerSchool | Android