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-12-03
Update 3.10 release notes after going through all gf-core commits since 2017-...
John J. Camilleri
2018-12-03
Update clean_html to handle markdown sources too
John J. Camilleri
2018-12-03
Put floating logo on left
John J. Camilleri
2018-12-03
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Thomas Hallgren
2018-12-03
debian/changelog: updated release date
Thomas Hallgren
2018-12-02
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Thomas Hallgren
2018-12-02
gf.cabal: update tested-with
Thomas Hallgren
2018-12-02
Add news item for 3.10 release
John J. Camilleri
2018-12-02
Minor fixes on the GF 3.10 download page
Thomas Hallgren
2018-12-02
Move 3.10 download page into place, update release date
Thomas Hallgren
2018-12-01
Updates to download page for 3.10
John J. Camilleri
2018-12-01
GF.Main: leave the code page unchanged on Windows
Thomas Hallgren
2018-12-01
build-binary-dist.sh: make it easy to choose which version of ghc to use
Thomas Hallgren
2018-12-01
dealing with ',' as syncategorematic token
Aarne Ranta
2018-11-30
Merge pull request #19 from MUSTE-Project/master
Krasimir Angelov
2018-11-30
Fix deprecations from containers >= 0.4.0.0
Peter LjungloĢf
2018-11-30
removed instructions which doesn't actually work
Krasimir Angelov
2018-11-30
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Thomas Hallgren
2018-11-30
Fix spelling mistake on GF 3.9 download page
Thomas Hallgren
2018-11-30
Update `make deb` for the GF 3.10 release
Thomas Hallgren
2018-11-30
WebSetup.hs: don't output messages that lie about what's being installed
Thomas Hallgren
2018-11-29
gf.cabal: remove redundant dependency on old-locale
Thomas Hallgren
2018-11-29
Custom CSS comes after libraries; add include-before/after (not actively used)
John J. Camilleri
2018-11-29
Don't wrap dates on hompage
John J. Camilleri
2018-11-29
Add basic favicon.ico
John J. Camilleri
2018-11-29
Remove some t2t frontmatter from shell-reference, to trigger update
John J. Camilleri
2018-11-29
Rename _template.html to template.html
John J. Camilleri
2018-11-29
Remove overflow-x:scroll from title
John J. Camilleri
2018-11-29
Remove t2t frontmatter from gf-editor-modes
John J. Camilleri
2018-11-28
Minors in footer
John J. Camilleri
2018-11-28
Merge branch 'new-website'
John J. Camilleri
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
fixed a bug in the cnclabel format
Aarne Ranta
2018-11-28
Revert "Completely remove uses of example-based"
John J. Camilleri
2018-11-28
Revert "remove the example-based folder. The code is still in the archive"
John J. Camilleri
2018-11-28
Completely remove uses of example-based
John J. Camilleri
2018-11-28
bin/build-binary-dist.sh: include the RGL in binary distributions
Thomas Hallgren
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' of https://github.com/GrammaticalFramework/gf-core
Krasimir Angelov
2018-11-28
add a few missing special tokens to the reference
Krasimir Angelov
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
[next]