summaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
2021-02-22(refman) Add section about lists + links to my blogInari Listenmaa
2020-10-02(Tutorial) Rename TV (transitive verb) to V2, the name used in RGLInari Listenmaa
2020-10-02(Tutorial) Remove reference to morpho_list + overly verbose pathInari Listenmaa
2020-10-02(Tutorial) Update the pre syntaxInari Listenmaa
2020-09-29(Tutorial) Remove mentions to pt -typecheckInari Listenmaa
The GF shell no longer has `put_tree -typecheck` option, and typechecking is done automatically when parsing. The metavariable thing is a bit unclear: you don't get it when parsing "dim the light", or "switch on the fan, but you do get it when you `gt` after adding `switchOn` and `switchOff`. ``` > p "switch on the fan" CAction fan (switchOff fan) (DKindOne fan) > gt CAction light dim (DKindOne light) CAction ?3 (switchOff ?3) (DKindOne ?3) CAction ?3 (switchOn ?3) (DKindOne ?3) ``` My hypothesis is that you don't get metavariable when parsing e.g. "dim the light", because even though `light` is suppressed in `CAction`, it still appears in `DKindOne`, so it gets to contribute to the whole tree with its string.
2020-08-31(Tutorial) Minor typofixes + current error messageInari Listenmaa
2020-08-30(Homepage) Change link of video tutorials to a page + small fixesInari Listenmaa
Also added video tutorial link to the footer.
2020-08-30Fix wording + formatting slightlyInari Listenmaa
2020-08-30Add a page for all GF video tutorialsInari Listenmaa
2020-08-21(Tutorial) Fix to make calculator example compileInari Listenmaa
In abstract: startcat needs to be defined to run the commands that are shown later in the doc. In concrete: ss and SS are defined in Prelude.
2020-06-16Merge pull request #55 from inariksit/error-messagesInari Listenmaa
Improvements in common error messages
2020-06-14Update documentation.Michael Elsdörfer
2020-06-05Condense the unsupported token gluing as per John's suggestionInari Listenmaa
2020-05-11Add Lauri Alanko to the list of contributorsInari Listenmaa
2019-12-12Remove outdated advice on producing Haskell fileInari Listenmaa
2019-05-20Update link to RGL tutorial (now HTML version)John J. Camilleri
2019-05-06Merge pull request #42 from gear0/masterJohn J. Camilleri
corrected some minor typos in reference manual
2019-05-05corrected some minor typos in reference manualgear0
2019-05-03(doc) Update path to gflib.jsInari Listenmaa
2019-05-03gf-tutorial: fix link to JavaScript translator demoThomas Hallgren
After fixing trivial problem in translator.html, the demo works, but the example grammar contains only one langauge, so it is not so interesting. translator.html is located in src/runtime/javascript. The editor.html in the same location also works.
2019-04-29started collecting error messages in order to explain themAarne Ranta
2018-12-22Change refs from RGL's Make.* to Setup.* in dev guideJohn J. Camilleri
2018-12-10TOC for Markdown should now work for both Pandoc < 2.0 and >= 2.0John J. Camilleri
The use of $toc$ and $table-of-contents$ flags changed, see: https://pandoc.org/releases.html#pandoc-2.0-29-oct-2017 under "Behaviour changes"
2018-12-09Replace gf-refman.html with Markdown version gf-refman.mdJohn J. Camilleri
The raw HTML was invalid, and this way we use the common website template for a uniform look without any duplication. It seems gf-refman.html was once generated from txt2tags, although I have been unable to find this original .t2t file. I also tried to re-generate txt2tags from HTML but was not able to. However I was able to convert HTML to Markdown using Pandoc and I think the result is pretty good, so I think we should use this. The original gf-refman.html can be obtained from git history, e.g.: https://github.com/GrammaticalFramework/gf-core/blob/a7e43d872f5e612f93131f2d8caf811fbee9aa83/doc/gf-refman.html
2018-12-08Update doc/index pageJohn J. Camilleri
2018-12-06Fix linking to chapters in gf-tutorial; Remove reference to Htmls.John J. Camilleri
2018-12-05Another fake change to trigger rebuild of gf-tutorialJohn J. Camilleri
2018-12-05Update runtime-api.html to match the new visual look of the GF websiteJohn J. Camilleri
2018-12-05Fake change to trigger rebuild of gf-tutorialJohn J. Camilleri
2018-11-29Remove some t2t frontmatter from shell-reference, to trigger updateJohn J. Camilleri
2018-11-29Remove t2t frontmatter from gf-editor-modesJohn J. Camilleri
Trying to force a rebuild
2018-11-28Merge branch 'new-website'John J. Camilleri
2018-11-28Page uses available width better, no jumping marginsJohn J. Camilleri
2018-11-28Update top links and footer during hackathonJohn J. Camilleri
2018-11-28add a few missing special tokens to the referenceKrasimir Angelov
2018-11-27Make refman look up-to-date ishJohn J. Camilleri
2018-11-27Remove faq. Update people page. Add SS to news.John J. Camilleri
2018-11-27Various fixes & cleanup in doc/ folderJohn J. Camilleri
2018-11-04Fix encoding on tutorialJohn J. Camilleri
2018-11-04Use Pandoc instead of txt2tags binary, much more configurableJohn J. Camilleri
2018-10-31Remove doc/tutorial/gf-tutorial.html from version controlJohn J. Camilleri
Checked that the t2t is still valid and html should be automatically generated. Although there is some encoding issue with this file?
2018-08-12Small fixes to gf-developers documentJohn J. Camilleri
2018-07-26Minimal update with new repo URLs & build instructionsJohn J. Camilleri
2018-07-22explain that GF_LIB_PATH can now be a colon-separated listMeng Weng Wong
2018-06-12Remove HTML files from VC which should be generated from txt2tagsJohn J. Camilleri
If these pages disappear from the web via www.grammaticalframework.org then this commit may need to be reversed
2018-06-12Minor cleanup in webpagesJohn J. Camilleri
2018-06-04* update GF modeodanoburu
- moved to new repo at https://github.com/GrammaticalFramework/gf-emacs-mode - main changes: - use utf-8 encoding for inferior gf process - add display of operation types - update links
2018-05-24(refman) update pre syntax [ci skip]odanoburu
2018-04-21rm references of lexer and unlexer flags from reference manualodanoburu
2018-04-18Make documentation about -split-pgf clearerInari Listenmaa