gf-core.git/src, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2025-08-13T11:38:23+00:00 add import Control.Monad when generating .hs with GADTs 2025-08-13T11:38:23+00:00 Inari Listenmaa inari.listenmaa@gmail.com 2025-08-13T11:38:23+00:00 urn:sha1:9325c8f9fb54d1de1c16f946723a2716fd3fbd86 remove accidental file 2025-08-08T18:57:13+00:00 Arianna Masciolini uzkamascio@gmail.com 2025-08-08T18:57:13+00:00 urn:sha1:3ecb75d7d857ca349a1e087d482ec4e82a8a002e more specific instructions for different macs 2025-08-08T18:43:15+00:00 Arianna Masciolini uzkamascio@gmail.com 2025-08-08T18:37:35+00:00 urn:sha1:59351190508131f6418124e5d983302e867c3448 Merge pull request #192 from GrammaticalFramework/build-timestamp 2025-08-08T17:32:52+00:00 Inari Listenmaa inari.listenmaa@gmail.com 2025-08-08T17:32:52+00:00 urn:sha1:d07646e75356746ae3a3be96b74d11a367af9333 Add build timestamps to GF prompt Delete src/runtime/python/pgf.egg-info directory 2025-08-08T17:29:44+00:00 Inari Listenmaa inari.listenmaa@gmail.com 2025-08-08T17:29:44+00:00 urn:sha1:3b69a28dbd0ba1abb38f92a576c97ee1e667b985 remove files that were committed by accident Merge pull request #190 from GrammaticalFramework/pgf-1.1 2025-08-08T17:14:01+00:00 Inari Listenmaa inari.listenmaa@gmail.com 2025-08-08T17:14:01+00:00 urn:sha1:aa004246d26c793e4d7aeff69828cfa0c7e1ec14 Publish PGF 1.1 fix typo 2025-08-08T16:20:47+00:00 Arianna Masciolini uzkamascio@gmail.com 2025-08-08T16:20:47+00:00 urn:sha1:dcae5f929eb5008818a66ef84a00b01d8c2c5390 Fix warnings for ghc-9.6 about multiplicity syntax 2025-08-08T16:12:39+00:00 Andreas Källberg anka.213@gmail.com 2025-08-08T11:54:49+00:00 urn:sha1:b02bb08532705fac2b803e7a739edd643264c547 also add the 9.6 compatibility fixes to PGF2 2025-08-08T16:12:26+00:00 Inari Listenmaa inari.listenmaa@gmail.com 2025-08-03T14:30:18+00:00 urn:sha1:c7e26d7cd2d8d2178f619cf891588dca8356d997 Update release scripts for 3.12 2025-08-08T16:11:52+00:00 Inari Listenmaa inari.listenmaa@gmail.com 2025-08-03T12:47:24+00:00 urn:sha1:4fea7cf37fb76516d90f351d91aac13ca8d76fce