Krasimir Angelov ab30f1f9e5 fix the parsing for source commands

2024-02-08 13:38:45 +01:00

..

compiler

fix the parsing for source commands

2024-02-08 13:38:45 +01:00

runtime

now we can load PGF files as precompiled modules

2024-01-30 13:02:40 +01:00

server

update after the changes in http-slim

2024-01-22 17:29:57 +01:00

tools

First attempt at fixing incompabilities with newer cabal

2020-08-05 18:48:24 +02:00