192b3b4e0a
updated GF/index.html
2010-12-22 13:06:03 +00:00
9fc30c11df
Update version number 3.0 to 3.1 in a number of places
2009-12-15 15:27:26 +00:00
90b8c947c3
completed gf-bibliography
2009-12-15 14:39:04 +00:00
040290c41d
Make transparent pixels white in the logos
2009-12-14 20:51:37 +00:00
74017f8dc1
Added rules to update automatically generated HTML files.
...
Only gf-developers.html is updated for now, but more files could be added to
the list.
2009-12-14 18:01:05 +00:00
4f9d5a4a4c
Developer documentation updates prompted by the switch to darcs version 2
...
In particular, the --lazy flag replaces the --partial flag.
2009-12-14 17:57:03 +00:00
130417b541
New smoother version of the GF logo
...
The new logo is in the new directory doc/Logos. The old logo has been moved
there too. The documentation has been updated to refer to the new logo.
The new logo was provided in SVG format by Krasimir, but PNG files are included
as well. There are some new rules in doc/Makefile to convert from SVG to PNG,
which you can use if you edit the SVG files.
2009-12-14 16:01:47 +00:00
0d41f45966
moved some doc to deprecated; empty dirs in lib to enable lib/src/Make
2009-12-14 09:54:23 +00:00
bd577639ac
Transparent logo background
2009-12-10 12:35:54 +00:00
df019fa427
manual web page edits from cs.chalmers
2009-12-09 09:37:47 +00:00
9c396ed6ff
updated bibliography
2009-06-24 14:55:51 +00:00
87288d4f1b
extend the developers documentation with some information for readline,editline and haskeline
2009-06-19 13:37:38 +00:00
e3b38dc245
adds to gf-biblio
2009-06-18 16:08:05 +00:00
042664a615
add reference to the developers quite from the GF Tutorial
2009-06-13 18:10:35 +00:00
3dc7289835
update the developers documentation with instructions for building and running the testsuite
2009-06-13 18:02:06 +00:00
592fca98be
on-line course announced on the summer school page
2009-04-14 08:12:45 +00:00
e7088ee93a
doc for next-lib; adjustments in summerschool-flyer
2009-03-28 13:20:47 +00:00
6cb13d8acc
additions to ideas page
2009-03-13 14:04:01 +00:00
8c2a476a10
idea page
2009-03-11 16:54:16 +00:00
04b176fe37
google analytics
2009-03-11 16:10:02 +00:00
482bdfa47f
folder adjustments
2009-03-04 15:06:35 +00:00
3d2d48c2ef
summerschool folder
2009-03-04 10:15:18 +00:00
eee00ee9f3
clarifications in summer school web page
2009-03-02 10:48:28 +00:00
df1df57f07
summer school edits
2009-02-26 13:07:26 +00:00
03aa49aece
alignment in summer school
2009-02-17 14:57:36 +00:00
a2e758eb5e
new school web page
2009-02-16 15:12:23 +00:00
f207a4038e
metavariables made unique in type checking
2009-01-30 16:52:38 +00:00
ce50264e91
updated demo page and summer school
2008-11-18 10:00:43 +00:00
31c010d61e
new version of summerschool announcement
2008-11-17 17:58:11 +00:00
b9bda0e69d
Attempto lexicon bug fixes
2008-11-14 12:51:14 +00:00
6d4b5334fb
tutorial complete with server and js
2008-11-11 10:28:32 +00:00
892514fc31
fixed some tutorial grammars and updated embedded section (JavaScript and web TODO)
2008-11-11 09:21:59 +00:00
a9e51ed9c7
updated tutorial html
2008-11-10 15:57:29 +00:00
79ef938590
lexer documentation in help and tutorial updated
2008-11-10 15:53:38 +00:00
87c6bebf29
updated tutorial up to lexers ; fixed lexcode in GF (was wrong due to a typo)
2008-11-10 10:59:13 +00:00
ee7146e96f
some tutorial updates ; new structural words Italian and Finnish
2008-11-03 17:22:21 +00:00
3d2465bb37
small fixes in tutorial ; added txt source of the same
2008-10-01 16:07:09 +00:00
81a93979ad
refreshed the tutorial
2008-10-01 13:13:10 +00:00
21b4fbca69
updated HOWTO to the new place of next resource
2008-09-22 12:28:07 +00:00
862310b01a
new resource-howto
2008-09-20 08:51:39 +00:00
0e9c7629d2
restored the summer school and Resource-HOWTO documents
2008-09-16 08:01:47 +00:00
dd839fa867
updated gf-bibliography
2008-08-23 16:34:42 +00:00
9aaf53dba1
documentation almost up to date
2008-06-27 14:43:05 +00:00
333480388f
documentation written; some weird constructors excluded from demo
2008-06-27 14:14:01 +00:00
a73caec804
more rm in doc
2008-06-27 11:32:49 +00:00
21c84a0a96
rm old tutorials
2008-06-27 11:27:40 +00:00
b36365e9e7
more rm in doc
2008-06-27 11:27:00 +00:00
14aabd1a4a
more obsolete doc rm'd
2008-06-27 11:22:51 +00:00
c878a7561c
removed obsolete items from doc
2008-06-27 11:21:49 +00:00
c5c6d13546
changed names of resource-1.3; added a note on homepage on release
2008-06-25 16:54:35 +00:00
aarne