5cd1dc9f88
updated GF/index.html
2010-12-22 13:06:03 +00:00
3d939a9500
Update version number 3.0 to 3.1 in a number of places
2009-12-15 15:27:26 +00:00
21fc8b0119
completed gf-bibliography
2009-12-15 14:39:04 +00:00
4e795def72
Make transparent pixels white in the logos
2009-12-14 20:51:37 +00:00
e3fcdaf280
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
2c4c637d00
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
07ed00140a
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
5ea49dfa86
moved some doc to deprecated; empty dirs in lib to enable lib/src/Make
2009-12-14 09:54:23 +00:00
0a914465eb
Transparent logo background
2009-12-10 12:35:54 +00:00
101df06f6c
manual web page edits from cs.chalmers
2009-12-09 09:37:47 +00:00
b823a64795
updated bibliography
2009-06-24 14:55:51 +00:00
e51a896b94
extend the developers documentation with some information for readline,editline and haskeline
2009-06-19 13:37:38 +00:00
ea9aed6ff8
adds to gf-biblio
2009-06-18 16:08:05 +00:00
5cc7a3f402
add reference to the developers quite from the GF Tutorial
2009-06-13 18:10:35 +00:00
f587501181
update the developers documentation with instructions for building and running the testsuite
2009-06-13 18:02:06 +00:00
f3fdd5ea2d
on-line course announced on the summer school page
2009-04-14 08:12:45 +00:00
90b71deaf1
doc for next-lib; adjustments in summerschool-flyer
2009-03-28 13:20:47 +00:00
e66b27aa5b
additions to ideas page
2009-03-13 14:04:01 +00:00
a175874e2c
idea page
2009-03-11 16:54:16 +00:00
af1fc9306a
google analytics
2009-03-11 16:10:02 +00:00
aeeb31d066
folder adjustments
2009-03-04 15:06:35 +00:00
dbed089bfa
summerschool folder
2009-03-04 10:15:18 +00:00
d841f69f65
clarifications in summer school web page
2009-03-02 10:48:28 +00:00
e217d0b02c
summer school edits
2009-02-26 13:07:26 +00:00
2bc918bb9a
alignment in summer school
2009-02-17 14:57:36 +00:00
086f861b5e
new school web page
2009-02-16 15:12:23 +00:00
241e13247d
metavariables made unique in type checking
2009-01-30 16:52:38 +00:00
5f2ab183ae
updated demo page and summer school
2008-11-18 10:00:43 +00:00
cef4793ced
new version of summerschool announcement
2008-11-17 17:58:11 +00:00
e1662cd851
Attempto lexicon bug fixes
2008-11-14 12:51:14 +00:00
a5300ad062
tutorial complete with server and js
2008-11-11 10:28:32 +00:00
db18350b1e
fixed some tutorial grammars and updated embedded section (JavaScript and web TODO)
2008-11-11 09:21:59 +00:00
821fbe7ddb
updated tutorial html
2008-11-10 15:57:29 +00:00
d9ff5aa48c
lexer documentation in help and tutorial updated
2008-11-10 15:53:38 +00:00
7e82e4a710
updated tutorial up to lexers ; fixed lexcode in GF (was wrong due to a typo)
2008-11-10 10:59:13 +00:00
d6f09a941f
some tutorial updates ; new structural words Italian and Finnish
2008-11-03 17:22:21 +00:00
6c6ff81109
small fixes in tutorial ; added txt source of the same
2008-10-01 16:07:09 +00:00
307042a6a1
refreshed the tutorial
2008-10-01 13:13:10 +00:00
9470a689c9
updated HOWTO to the new place of next resource
2008-09-22 12:28:07 +00:00
7215dc71ff
new resource-howto
2008-09-20 08:51:39 +00:00
c09783e604
restored the summer school and Resource-HOWTO documents
2008-09-16 08:01:47 +00:00
ec9a04467d
updated gf-bibliography
2008-08-23 16:34:42 +00:00
7d7d951c05
documentation almost up to date
2008-06-27 14:43:05 +00:00
21c457b711
documentation written; some weird constructors excluded from demo
2008-06-27 14:14:01 +00:00
64d2a981a9
more rm in doc
2008-06-27 11:32:49 +00:00
032531c6a6
rm old tutorials
2008-06-27 11:27:40 +00:00
e4e64c13a6
more rm in doc
2008-06-27 11:27:00 +00:00
7cdbe8e7a3
more obsolete doc rm'd
2008-06-27 11:22:51 +00:00
e7d1aa58f7
removed obsolete items from doc
2008-06-27 11:21:49 +00:00
e9e80fc389
changed names of resource-1.3; added a note on homepage on release
2008-06-25 16:54:35 +00:00
aarne