Commit Graph

484 Commits

Author SHA1 Message Date
john.j.camilleri 83533afd5f Added link for GFEP 2011-10-17 15:40:18 +00:00
aarne 4af079006b gf-bibliography.html with Thomas' corrected links 2011-10-03 15:42:12 +00:00
aarne 44ecbd11bc updated gf-biblio with cse instead of cs 2011-10-03 15:39:39 +00:00
hallgren c04d8ccd80 corrected links in gf-biblio 2011-10-03 15:36:27 +00:00
aarne ddc34a2162 new items in gf-bibliography.t2t 2011-10-03 15:18:59 +00:00
hallgren 64beaae58f Update the shell reference manual 2011-09-27 13:20:37 +00:00
hallgren ea04171fc6 Update 19 broken links in the GF bibliography
Most of the broken link were due to the move from www.cs.chalmers.se was to
www.cse.chalmers.se in 2010.
2011-09-21 16:37:20 +00:00
hallgren c32a244a3c Created a new page documenting available editor modes for GF
Also adding editing modes for Gedit and Geany contributed by John J. Camilleri.
2011-09-20 12:41:32 +00:00
hallgren 167bc341cb Add the commands to the table of contents in the GF shell reference manual 2011-09-15 11:18:59 +00:00
hallgren 927c8c0678 Include a table of contents in the GF shell reference manual 2011-09-14 20:46:04 +00:00
hallgren 584c31bc62 Separate commands with <hr> instead of <p> in the GF shell reference manual 2011-09-14 20:39:51 +00:00
hallgren c99ae66061 Omit empty sections in GF shell reference manual 2011-09-14 20:28:21 +00:00
hallgren ffcddbe571 Use 'help -full -t2t' to generate the GF Shell reference manual 2011-09-14 19:43:59 +00:00
hallgren f2786ca0a0 Adding a GF shell command reference
First, plain text version generated with 'help -full' in the shell.
Introduction taken from the GF book.
2011-09-14 13:15:56 +00:00
hallgren 74ae2cc737 Record old changes in gf-reference.html
even though this file is automatically generated from gf-reference.t2t.
2011-09-12 15:35:00 +00:00
aarne 1eb0fcba11 added book in the documentation 2011-04-15 12:07:59 +00:00
hallgren 991a433b17 Fix broken links in GF Quick Reference 2011-01-22 14:14:00 +00:00
aarne 084a0c8dde updated quick start 2010-12-23 15:09:31 +00:00
hallgren 96c1a86e75 Apply stylesheet to GF quickstart 2010-12-23 10:32:39 +00:00
aarne c3071113b3 word alignment ex in tutorial 2010-12-23 10:05:27 +00:00
aarne 3036881d20 updated tutorial and quickstart for 3.2 2010-12-23 09:33:11 +00:00
hallgren 40b84d25e3 Documentation fixes
+ Rename some txt2tags file from .txt to .t2t and remove abandoned .txt files.
+ Add program update_html that finds all .t2t documents and updates the
  corresponding .html file. It can be invoked with 'make html'.
+ Add style to some .html documents
2010-12-22 16:57:53 +00:00
aarne ce15ec7b78 moved parts of doc to deprecated/doc 2010-12-22 14:08:42 +00:00
aarne 5cd1dc9f88 updated GF/index.html 2010-12-22 13:06:03 +00:00
hallgren 3d939a9500 Update version number 3.0 to 3.1 in a number of places 2009-12-15 15:27:26 +00:00
aarne 21fc8b0119 completed gf-bibliography 2009-12-15 14:39:04 +00:00
hallgren 4e795def72 Make transparent pixels white in the logos 2009-12-14 20:51:37 +00:00
hallgren 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
hallgren 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
hallgren 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
aarne 5ea49dfa86 moved some doc to deprecated; empty dirs in lib to enable lib/src/Make 2009-12-14 09:54:23 +00:00
hallgren 0a914465eb Transparent logo background 2009-12-10 12:35:54 +00:00
aarne 101df06f6c manual web page edits from cs.chalmers 2009-12-09 09:37:47 +00:00
aarne b823a64795 updated bibliography 2009-06-24 14:55:51 +00:00
krasimir e51a896b94 extend the developers documentation with some information for readline,editline and haskeline 2009-06-19 13:37:38 +00:00
aarne ea9aed6ff8 adds to gf-biblio 2009-06-18 16:08:05 +00:00
krasimir 5cc7a3f402 add reference to the developers quite from the GF Tutorial 2009-06-13 18:10:35 +00:00
krasimir f587501181 update the developers documentation with instructions for building and running the testsuite 2009-06-13 18:02:06 +00:00
aarne f3fdd5ea2d on-line course announced on the summer school page 2009-04-14 08:12:45 +00:00
aarne 90b71deaf1 doc for next-lib; adjustments in summerschool-flyer 2009-03-28 13:20:47 +00:00
aarne e66b27aa5b additions to ideas page 2009-03-13 14:04:01 +00:00
aarne a175874e2c idea page 2009-03-11 16:54:16 +00:00
aarne af1fc9306a google analytics 2009-03-11 16:10:02 +00:00
aarne aeeb31d066 folder adjustments 2009-03-04 15:06:35 +00:00
aarne dbed089bfa summerschool folder 2009-03-04 10:15:18 +00:00
aarne d841f69f65 clarifications in summer school web page 2009-03-02 10:48:28 +00:00
aarne e217d0b02c summer school edits 2009-02-26 13:07:26 +00:00
aarne 2bc918bb9a alignment in summer school 2009-02-17 14:57:36 +00:00
aarne 086f861b5e new school web page 2009-02-16 15:12:23 +00:00
aarne 241e13247d metavariables made unique in type checking 2009-01-30 16:52:38 +00:00