summaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
2026-02-23Add MOLTO best practices, molto domain has expiredInari Listenmaa
2025-08-11update developers' guideInari Listenmaa
2025-08-02update default depth in tutorial and help textInari Listenmaa
2025-08-02convert editor-modes into markdownInari Listenmaa
2025-02-20Specify that extending a grammar doesn't inherit the startcatInari Listenmaa
2024-04-29be consistent in the use of quotesInari Listenmaa
2024-04-29Clarify description for vtInari Listenmaa
2023-03-03Update instructions for GeanyInari Listenmaa
2023-02-10update to System.Environment (getArgs)Inari Listenmaa
2021-11-08Add simpler VSCode extension to editor modes pageJohn J. Camilleri
2021-08-17Move Thomas from current to previous on maintainers pageJohn J. Camilleri
2021-07-26add VS code on the list of editor modesInari Listenmaa
2021-07-15General restructuring, various minor changesInari Listenmaa
2021-07-15Update C runtime instructionsInari Listenmaa
2021-07-15Remove instructions to create binariesInari Listenmaa
Those are in github actions
2021-07-15Split the Cabal instructions to another pageInari Listenmaa
and link from main instructions
2021-07-14install and upgrade stack1Regina
2021-07-14updated docs to reflect binaries generated via github actionsMeowyam
fix merge conflicts resolve merge conflict
2021-07-14Changes in Git instructionsInari Listenmaa
2021-07-14updated doc with instructions for C runtime for ubuntu and fedoraInari Listenmaa
2021-07-14Changes in Git instructionsInari Listenmaa
2021-07-14update doc for linux installationMeowyam
2021-07-14Update information about test suiteInari Listenmaa
Co-Authored-By: 1Regina <46968488+1Regina@users.noreply.github.com>
2021-07-14Update instructions about C runtimeInari Listenmaa
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 04:17:39 +0000