John J. Camilleri
|
507236fdcd
|
remove gf-server.cabal
|
2018-11-28 13:40:16 +01:00 |
|
John J. Camilleri
|
397f18a298
|
remove custom-binary flag; update Cabal version restriction; bump version to 3.10
|
2018-11-28 13:36:11 +01:00 |
|
John J. Camilleri
|
b1611eccd8
|
Make refman look up-to-date ish
|
2018-11-27 23:27:16 +01:00 |
|
John J. Camilleri
|
c8eb1010c5
|
Remove faq. Update people page. Add SS to news.
|
2018-11-27 23:12:21 +01:00 |
|
John J. Camilleri
|
14d35c8a31
|
Various fixes & cleanup in doc/ folder
|
2018-11-27 22:51:44 +01:00 |
|
John J. Camilleri
|
9bf5c98509
|
Work on new download page. Change 18-12 to 4.0.0
|
2018-11-27 22:36:57 +01:00 |
|
John J. Camilleri
|
8821f8baa8
|
Check all historic download and release pages
|
2018-11-27 22:14:01 +01:00 |
|
John J. Camilleri
|
8a45d23d63
|
Minors to homepage
|
2018-11-27 21:58:19 +01:00 |
|
Krasimir Angelov
|
abf3911b70
|
expose PGF and Concr for FFI
|
2018-11-27 21:09:35 +01:00 |
|
John J. Camilleri
|
735f5ff76f
|
Remove src/ui folder, moved to:
https://github.com/GrammaticalFramework/gf-offline-translator
|
2018-11-15 10:33:31 +01:00 |
|
John J. Camilleri
|
cb0e919bf5
|
Link to new synopsis page
|
2018-11-13 21:22:54 +01:00 |
|
John J. Camilleri
|
d1a435ad9d
|
Remove unnecessary CSS from template
|
2018-11-09 09:08:59 +01:00 |
|
John J. Camilleri
|
69ba677136
|
Add 3 top buttons, responsive columns
|
2018-11-09 08:40:06 +01:00 |
|
John J. Camilleri
|
406eec6690
|
GF logo links to home; remove "other demos"
|
2018-11-08 22:52:08 +01:00 |
|
John J. Camilleri
|
2f1ee094d2
|
Add download/index.md as demo of working Markdown rendering to HTML
Archive 3.9 pages and mark current ones for 18-12
|
2018-11-08 22:46:30 +01:00 |
|
John J. Camilleri
|
422248f11f
|
Move unused pgf-binary into its own repository, at:
https://github.com/GrammaticalFramework/pgf-binary
|
2018-11-07 10:07:20 +01:00 |
|
John J. Camilleri
|
d46682bc29
|
Clean up stack file
Removed alex/happy as build-deps, if needed they can be installed with
`stack install alex happy`
|
2018-11-07 09:57:45 +01:00 |
|
Thomas Hallgren
|
8596fc5d26
|
Revert CSS change that produces overlapping text instead of responsive layout
|
2018-11-06 23:49:06 +01:00 |
|
John J. Camilleri
|
4958aab518
|
Add happy and alex as deps in Stack file
|
2018-11-05 09:59:06 +01:00 |
|
John J. Camilleri
|
390a6a04a1
|
New update_html runx txt2tags followed by pandoc
TODO: handle txt2tags macros in date, e.g.
`%%mtime(%F)` in download/encoding-change.t2t
|
2018-11-04 21:17:20 +01:00 |
|
John J. Camilleri
|
37e0754cf0
|
Fix encoding on tutorial
|
2018-11-04 21:12:32 +01:00 |
|
John J. Camilleri
|
a7b2f77227
|
Cleanup links in homepage and footer
|
2018-11-04 21:12:10 +01:00 |
|
John J. Camilleri
|
9a7862ea9e
|
Links in footer
|
2018-11-04 19:58:18 +01:00 |
|
John J. Camilleri
|
914d54255f
|
Comments in update_html script
|
2018-11-04 19:29:56 +01:00 |
|
John J. Camilleri
|
aea8548930
|
update_html also takes individual arguments
|
2018-11-04 19:27:14 +01:00 |
|
John J. Camilleri
|
99dad48961
|
Use Pandoc instead of txt2tags binary, much more configurable
|
2018-11-04 15:11:35 +01:00 |
|
John J. Camilleri
|
0b4d9cbea1
|
Add note about using Stack in download/index
|
2018-11-03 14:34:26 +01:00 |
|
John J. Camilleri
|
1010b9e49a
|
Add stack file, using image for GHC 8.2.2
|
2018-11-03 14:28:31 +01:00 |
|
John J. Camilleri
|
f7dc9a6eaf
|
Merge branch 'master' into new-website
|
2018-11-02 14:07:00 +01:00 |
|
John J. Camilleri
|
777028dcd8
|
Remove doc/tutorial/gf-tutorial.html from version control
Checked that the t2t is still valid and html should be automatically
generated. Although there is some encoding issue with this file?
|
2018-10-31 15:57:21 +01:00 |
|
John J. Camilleri
|
7867c8c828
|
pre and post HTML templates for all txt2tags conversions
Remaining: cleaning of t2t files (remove unnecessary options)
|
2018-10-31 15:47:12 +01:00 |
|
John J. Camilleri
|
632cd1e522
|
Refresh home page using basic Bootstrap
|
2018-10-31 14:13:05 +01:00 |
|
John J. Camilleri
|
4387b1bea0
|
Add more phony's to Makefile
|
2018-10-31 13:14:06 +01:00 |
|
Inari Listenmaa
|
0a62c13fd1
|
Merge pull request #10 from inariksit/master
Add {-# LANGUAGE GADTs -#} to the generated Haskell file
|
2018-10-19 16:23:16 +02:00 |
|
Inari Listenmaa
|
8c382b3cb1
|
Add {-# LANGUAGE GADTs -#} to the generated Haskell file
|
2018-10-19 15:20:05 +02:00 |
|
Thomas Hallgren
|
effa818408
|
gf -cshell bug fix
The functions cExpr and hsExpr in GF.Command.Commands2 need to
handle string literals.
|
2018-10-16 16:23:54 +02:00 |
|
John J. Camilleri
|
8df3b458d4
|
cabal sdist doesn't throw an error anymore
This was making it impossible to install gf as external source in cabal sandbox
|
2018-10-15 21:05:55 +02:00 |
|
Krasimir Angelov
|
a0afbfbad3
|
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
|
2018-10-15 12:04:36 +02:00 |
|
Krasimir Angelov
|
8a9430f63a
|
hide the compatibility API
|
2018-10-15 12:04:03 +02:00 |
|
Thomas Hallgren
|
6b1e21508e
|
Comment out links to some old demos that no longer work
|
2018-10-10 14:22:24 +02:00 |
|
Aarne Ranta
|
8787b56def
|
option rf -paragraphs
|
2018-09-21 10:40:39 +02:00 |
|
John J. Camilleri
|
50e1e7b17e
|
Merge pull request #7 from odanoburu/travis-ci
add travis ci
|
2018-08-13 08:46:09 +02:00 |
|
John J. Camilleri
|
f1803a2f16
|
Small fixes to gf-developers document
|
2018-08-12 21:30:11 +02:00 |
|
odanoburu
|
64ccc424cf
|
(#5) rm files from nix build
|
2018-08-11 22:44:45 -03:00 |
|
odanoburu
|
dce81dc0ec
|
(#5) reintroduce make install
|
2018-08-11 22:16:28 -03:00 |
|
odanoburu
|
29acef41fc
|
(#5) specify image version
|
2018-08-11 22:11:27 -03:00 |
|
odanoburu
|
4038546321
|
(#5) no need for make install
|
2018-08-11 22:07:53 -03:00 |
|
odanoburu
|
df31ab241b
|
(#5) add travis CI with docker
dependencies are preinstalled in docker image for faster build, but this means we need to update it whenever dependencies change
|
2018-08-11 22:02:08 -03:00 |
|
John J. Camilleri
|
35304c8577
|
Remove Travis build status from homepage
|
2018-08-08 22:33:20 +02:00 |
|
John J. Camilleri
|
3b7aaaf9f4
|
Add news item to homepage about repo split
|
2018-08-08 09:08:50 +02:00 |
|