13 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Thomas Hallgren	c642421fa9	configure.ac: use a Cabal-friendly version number ... and replace the outdated URL	2017-08-17 11:58:23 +02:00
Thomas Hallgren	2d85550e54	Final changes before the release of GF 3.9	2017-08-11 21:11:24 +02:00
Thomas Hallgren	06bf8454f7	Merge branch 'master' of www.grammaticalframework.org:/usr/local/www/GF	2017-08-11 16:05:44 +02:00
Thomas Hallgren	da1272c36d	Some updates in index-next.t2t and release-next.t2t	2017-08-11 16:04:57 +02:00
Thomas Hallgren	ce1c1042e7	gf.cabal: don't enable warnings about unused imports by default	2017-08-11 15:45:19 +02:00
Thomas Hallgren	8484dabd5b	Disable detailed version info from darcs ... TODO: get version info from git instead.	2017-08-11 15:33:21 +02:00
Thomas Hallgren	a0e7e3bf83	A couple of fixes for GHC 8.2.1 compatibility	2017-08-11 10:07:43 +02:00
Thomas Hallgren	cd817abc5a	Merge branch 'master' of /usr/local/www/GF	2017-06-30 15:46:46 +02:00
Thomas Hallgren	b87cefb8cf	gf.cabal: update bug-reports and tested-with	2017-06-30 15:46:07 +02:00
Thomas Hallgren	a0072a5487	Updates to reflect the darcs->git move in the developer guide and the download page & release notes for the next release	2017-06-30 15:16:52 +02:00
Thomas Hallgren	ff82b0980b	Link to the issue tracker on GitHub	2017-06-29 17:27:36 +02:00
Thomas Hallgren	366f75d78a	index.html: a quick news item about the move to GitHub	2017-06-29 15:15:52 +02:00
Thomas Hallgren	1ada3fc522	gf.cabal: update the source repository to point to the GitHub repository	2017-06-29 14:51:27 +02:00