Krasimir Angelov 02e8dcbb56 make it possible to control whether to expand variants or not

2024-04-27 14:55:01 +02:00

..

Abstract.hs

create lin/lincat can now fetch the definitions from the source grammar

2024-02-08 15:14:05 +01:00

CommandInfo.hs

reintroduce the compiler API

2024-01-18 20:58:10 +01:00

Commands.hs

now we can load PGF files as precompiled modules

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

CommonCommands.hs

reintroduce the compiler API

2024-01-18 20:58:10 +01:00

Help.hs

reintroduce the compiler API

2024-01-18 20:58:10 +01:00

Importing.hs

now we can load PGF files as precompiled modules

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

Interpreter.hs

reintroduce the compiler API

2024-01-18 20:58:10 +01:00

Messages.hs

reintroduce the compiler API

2024-01-18 20:58:10 +01:00

Parse.hs

create lin/lincat can now fetch the definitions from the source grammar

2024-02-08 15:14:05 +01:00

SourceCommands.hs

make it possible to control whether to expand variants or not

2024-04-27 14:55:01 +02:00

TreeOperations.hs

reintroduce the compiler API

2024-01-18 20:58:10 +01:00