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
Age
Commit message (
Expand
)
Author
2018-11-28
Hide release announcement from homepage news
John J. Camilleri
2018-11-28
Better responsiveness, homepage and footer
John J. Camilleri
2018-11-28
Page uses available width better, no jumping margins
John J. Camilleri
2018-11-28
Put 3.9 page instead of 3.10 until release is final
John J. Camilleri
2018-11-28
Update top links and footer during hackathon
John J. Camilleri
2018-11-28
Merge branch 'master' into new-website
John J. Camilleri
2018-11-28
Update LICENSE
John J. Camilleri
2018-11-28
remove the example-based folder. The code is still in the archive
Krasimir Angelov
2018-11-28
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Krasimir Angelov
2018-11-28
remove two obsolete options
Krasimir Angelov
2018-11-28
Remove Htmls.hs
John J. Camilleri
2018-11-28
remove gf-server.cabal
John J. Camilleri
2018-11-28
remove custom-binary flag; update Cabal version restriction; bump version to ...
John J. Camilleri
2018-11-27
Make refman look up-to-date ish
John J. Camilleri
2018-11-27
Remove faq. Update people page. Add SS to news.
John J. Camilleri
2018-11-27
Various fixes & cleanup in doc/ folder
John J. Camilleri
2018-11-27
Work on new download page. Change 18-12 to 4.0.0
John J. Camilleri
2018-11-27
Check all historic download and release pages
John J. Camilleri
2018-11-27
Minors to homepage
John J. Camilleri
2018-11-27
expose PGF and Concr for FFI
Krasimir Angelov
2018-11-15
Remove `src/ui` folder, moved to:
John J. Camilleri
2018-11-13
Link to new synopsis page
John J. Camilleri
2018-11-09
Remove unnecessary CSS from template
John J. Camilleri
2018-11-09
Add 3 top buttons, responsive columns
John J. Camilleri
2018-11-08
GF logo links to home; remove "other demos"
John J. Camilleri
2018-11-08
Add download/index.md as demo of working Markdown rendering to HTML
John J. Camilleri
2018-11-07
Move unused `pgf-binary` into its own repository, at:
John J. Camilleri
2018-11-07
Clean up stack file
John J. Camilleri
2018-11-06
Revert CSS change that produces overlapping text instead of responsive layout
Thomas Hallgren
2018-11-05
Add happy and alex as deps in Stack file
John J. Camilleri
2018-11-04
New update_html runx txt2tags followed by pandoc
John J. Camilleri
2018-11-04
Fix encoding on tutorial
John J. Camilleri
2018-11-04
Cleanup links in homepage and footer
John J. Camilleri
2018-11-04
Links in footer
John J. Camilleri
2018-11-04
Comments in update_html script
John J. Camilleri
2018-11-04
update_html also takes individual arguments
John J. Camilleri
2018-11-04
Use Pandoc instead of txt2tags binary, much more configurable
John J. Camilleri
2018-11-03
Add note about using Stack in download/index
John J. Camilleri
2018-11-03
Add stack file, using image for GHC 8.2.2
John J. Camilleri
2018-11-02
Merge branch 'master' into new-website
John J. Camilleri
2018-10-31
Remove doc/tutorial/gf-tutorial.html from version control
John J. Camilleri
2018-10-31
pre and post HTML templates for all txt2tags conversions
John J. Camilleri
2018-10-31
Refresh home page using basic Bootstrap
John J. Camilleri
2018-10-31
Add more phony's to Makefile
John J. Camilleri
2018-10-19
Merge pull request #10 from inariksit/master
Inari Listenmaa
2018-10-19
Add {-# LANGUAGE GADTs -#} to the generated Haskell file
Inari Listenmaa
2018-10-16
gf -cshell bug fix
Thomas Hallgren
2018-10-15
`cabal sdist` doesn't throw an error anymore
John J. Camilleri
2018-10-15
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Krasimir Angelov
2018-10-15
hide the compatibility API
Krasimir Angelov
[next]