index
:
gf-core.git
master
optimize
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
Age
Commit message (
Expand
)
Author
2024-04-29
Clarify description for vt
Inari Listenmaa
2023-03-03
Update instructions for Geany
Inari Listenmaa
2023-02-10
update to System.Environment (getArgs)
Inari Listenmaa
2021-11-08
Add simpler VSCode extension to editor modes page
John J. Camilleri
2021-08-17
Move Thomas from current to previous on maintainers page
John J. Camilleri
2021-07-26
add VS code on the list of editor modes
Inari Listenmaa
2021-07-15
General restructuring, various minor changes
Inari Listenmaa
2021-07-15
Update C runtime instructions
Inari Listenmaa
2021-07-15
Remove instructions to create binaries
Inari Listenmaa
2021-07-15
Split the Cabal instructions to another page
Inari Listenmaa
2021-07-14
install and upgrade stack
1Regina
2021-07-14
updated docs to reflect binaries generated via github actions
Meowyam
2021-07-14
Changes in Git instructions
Inari Listenmaa
2021-07-14
updated doc with instructions for C runtime for ubuntu and fedora
Inari Listenmaa
2021-07-14
Changes in Git instructions
Inari Listenmaa
2021-07-14
update doc for linux installation
Meowyam
2021-07-14
Update information about test suite
Inari Listenmaa
2021-07-14
Update instructions about C runtime
Inari Listenmaa
2021-02-22
(refman) Add section about lists + links to my blog
Inari Listenmaa
2020-10-02
(Tutorial) Rename TV (transitive verb) to V2, the name used in RGL
Inari Listenmaa
2020-10-02
(Tutorial) Remove reference to morpho_list + overly verbose path
Inari Listenmaa
2020-10-02
(Tutorial) Update the pre syntax
Inari Listenmaa
2020-09-29
(Tutorial) Remove mentions to pt -typecheck
Inari Listenmaa
2020-08-31
(Tutorial) Minor typofixes + current error message
Inari Listenmaa
2020-08-30
(Homepage) Change link of video tutorials to a page + small fixes
Inari Listenmaa
2020-08-30
Fix wording + formatting slightly
Inari Listenmaa
2020-08-30
Add a page for all GF video tutorials
Inari Listenmaa
2020-08-21
(Tutorial) Fix to make calculator example compile
Inari Listenmaa
2020-06-16
Merge pull request #55 from inariksit/error-messages
Inari Listenmaa
2020-06-14
Update documentation.
Michael Elsdörfer
2020-06-05
Condense the unsupported token gluing as per John's suggestion
Inari Listenmaa
2020-05-11
Add Lauri Alanko to the list of contributors
Inari Listenmaa
2019-12-12
Remove outdated advice on producing Haskell file
Inari Listenmaa
2019-05-20
Update link to RGL tutorial (now HTML version)
John J. Camilleri
2019-05-06
Merge pull request #42 from gear0/master
John J. Camilleri
2019-05-05
corrected some minor typos in reference manual
gear0
2019-05-03
(doc) Update path to gflib.js
Inari Listenmaa
2019-05-03
gf-tutorial: fix link to JavaScript translator demo
Thomas Hallgren
2019-04-29
started collecting error messages in order to explain them
Aarne Ranta
2018-12-22
Change refs from RGL's Make.* to Setup.* in dev guide
John J. Camilleri
2018-12-10
TOC for Markdown should now work for both Pandoc < 2.0 and >= 2.0
John J. Camilleri
2018-12-09
Replace gf-refman.html with Markdown version gf-refman.md
John J. Camilleri
2018-12-08
Update doc/index page
John J. Camilleri
2018-12-06
Fix linking to chapters in gf-tutorial; Remove reference to Htmls.
John J. Camilleri
2018-12-05
Another fake change to trigger rebuild of gf-tutorial
John J. Camilleri
2018-12-05
Update runtime-api.html to match the new visual look of the GF website
John J. Camilleri
2018-12-05
Fake change to trigger rebuild of gf-tutorial
John J. Camilleri
2018-11-29
Remove some t2t frontmatter from shell-reference, to trigger update
John J. Camilleri
2018-11-29
Remove t2t frontmatter from gf-editor-modes
John J. Camilleri
2018-11-28
Merge branch 'new-website'
John J. Camilleri
[next]