Inari Listenmaa d07646e753 Merge pull request #192 from GrammaticalFramework/build-timestamp ...

Add build timestamps to GF prompt

2025-08-08 19:32:52 +02:00

..

compiler

Merge pull request #192 from GrammaticalFramework/build-timestamp

2025-08-08 19:32:52 +02:00

example-based

fix packages

2019-08-18 09:37:55 +02:00

programs

Changes made in order to get Hackage upload working

2021-08-09 13:41:25 +02:00

runtime

Delete src/runtime/python/pgf.egg-info directory

2025-08-08 19:29:44 +02:00

server

Fix warnings for ghc-9.6 about multiplicity syntax

2025-08-08 18:12:39 +02:00

tools

Update some old unused code to support newer ghc

2022-10-04 13:07:07 +02:00

www

Update robots.txt

2024-11-26 12:15:41 +01:00