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
/
bin
Age
Commit message (
Expand
)
Author
2020-11-16
Re-enable hack for finding C runtime on macOS
John J. Camilleri
2020-11-16
Remove RGL from build, use 'cabal v1-' commands
John J. Camilleri
2020-11-09
Blurt out cabal version in both action and build script
John J. Camilleri
2020-11-09
Install C runtime in two places. Use cabal v1-copy.
John J. Camilleri
2020-11-09
Add libtool finish command from warning
John J. Camilleri
2020-11-09
Try it another way round
John J. Camilleri
2020-11-09
Try removing something that looks like a typo
John J. Camilleri
2020-11-09
Fix whitespace in binary build script
John J. Camilleri
2020-08-30
(Homepage) Change link of video tutorials to a page + small fixes
Inari Listenmaa
2019-11-27
Fix another build problem in bin/build-binary-dist.sh
Thomas Hallgren
2019-11-18
Fix build problems, bump versiom to gf-3.10.4-git
Thomas Hallgren
2019-05-20
Update link to RGL tutorial (now HTML version)
John J. Camilleri
2019-05-06
update_html rewrites anchors which Pandoc 1.16 doesn't process
John J. Camilleri
2019-04-05
Fix outdated comment about which version of the Haskell Platform to use
Thomas Hallgren
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
Area under footer is all gray even on short pages
John J. Camilleri
2018-12-08
Regnerate HTML if template changes
John J. Camilleri
2018-12-08
Fix some invalid HTML.
John J. Camilleri
2018-12-06
Add some documentation to update_html
John J. Camilleri
2018-12-06
Case-insensitve sed replacements handled the dumb way
John J. Camilleri
2018-12-06
Fix linking to chapters in gf-tutorial; Remove reference to Htmls.
John J. Camilleri
2018-12-05
Rewrite <a name=...> to <div id=...> to preserve page anchors in Pandoc
John J. Camilleri
2018-12-03
Put GF logo on the right again
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-01
build-binary-dist.sh: make it easy to choose which version of ghc to use
Thomas Hallgren
2018-11-29
Custom CSS comes after libraries; add include-before/after (not actively used)
John J. Camilleri
2018-11-29
Rename _template.html to template.html
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
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
bin/build-binary-dist.sh: include the RGL in binary distributions
Thomas Hallgren
2018-11-28
Update top links and footer during hackathon
John J. Camilleri
2018-11-27
Work on new download page. Change 18-12 to 4.0.0
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-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-04
New update_html runx txt2tags followed by pandoc
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-10-31
pre and post HTML templates for all txt2tags conversions
John J. Camilleri
2017-08-11
Final changes before the release of GF 3.9
Thomas Hallgren
2016-06-20
bin/build-binary-dist.sh: fixes for the Java and Python bindings.
hallgren
2016-04-25
Fix a problem building the Java binding when creating binary packages
hallgren
[next]