Krasimir Angelov 9d330b6fb2 document case_sensitive

2023-02-23 10:30:31 +01:00

..

errors

Condense the unsupported token gluing as per John's suggestion

2020-06-05 19:39:31 +02:00

hackers-guide

Update transactions.md

2021-11-17 08:11:24 +01:00

Logos

make the GF logo fit precisely in a square

2014-12-10 10:29:27 +00:00

tutorial

(Tutorial) Rename TV (transitive verb) to V2, the name used in RGL

2020-10-02 17:58:57 +02:00

align6.png

summerschool folder

2009-03-04 10:15:18 +00:00

darcs-cm

…

error-messages.txt

started collecting error messages in order to explain them

2019-04-29 16:53:43 +02:00

GF-0.1.tgz

…

gf-bib.bib

gf-bib.bib: added EACL 2009 and ACL 2010 entries from gf-bibliography.t2t

2011-12-14 15:26:05 +00:00

gf-bibliography.t2t

Convert some documentation to UTF-8

2012-11-27 16:03:29 +00:00

gf-developers-old-cabal.t2t

Split the Cabal instructions to another page

2021-07-15 08:21:29 +08:00

gf-developers.t2t

General restructuring, various minor changes

2021-07-15 10:40:26 +08:00

gf-editor-modes.t2t

Add simpler VSCode extension to editor modes page

2021-11-08 12:30:21 +01:00

gf-help-full.txt

Various fixes & cleanup in doc/ folder

2018-11-27 22:51:44 +01:00

gf-people.md

Move Thomas from current to previous on maintainers page

2021-08-17 10:18:34 +02:00

gf-refman.md

document case_sensitive

2023-02-23 10:30:31 +01:00

gf-shell-reference.t2t

Remove some t2t frontmatter from shell-reference, to trigger update

2018-11-29 10:45:54 +01:00

gf-video-tutorials.md

(Homepage) Change link of video tutorials to a page + small fixes

2020-08-30 20:53:59 +02:00

icfp-2012.t2t

link to ICFP slides, part 1

2012-09-18 13:44:36 +00:00

index.md

Update link to RGL tutorial (now HTML version)

2019-05-20 10:36:35 +02:00

Makefile

Various fixes & cleanup in doc/ folder

2018-11-27 22:51:44 +01:00

nancy-slides.pdf

…

new-gf-bib.bib

new-gf-bib fixes

2013-04-22 20:48:50 +00:00

runtime-api.html

Update runtime-api.html to match the new visual look of the GF website

2018-12-05 15:48:07 +01:00