krangelov 3fd668e525 fix failure is the printout is empty

2021-11-25 13:51:19 +01:00

..

data.cxx

correctly distinguish between fun and data judgements

2021-11-18 13:50:09 +01:00

data.h

remove obsolete code

2021-11-19 09:38:04 +01:00

db.cxx

fix for MacOS

2021-11-16 09:53:41 +01:00

db.h

the r/w lock is now in the database itself

2021-11-15 13:13:00 +01:00

expr.cxx

remove obsolete code

2021-11-19 09:38:04 +01:00

expr.h

remove obsolete code

2021-11-19 09:38:04 +01:00

namespace.h

API for adding concrete syntaxes. Garbage collection to be fixed!

2021-10-21 19:18:14 +02:00

pgf.cxx

started on the typechecker

2021-11-19 10:39:06 +01:00

pgf.h

started on the typechecker

2021-11-19 10:39:06 +01:00

printer.cxx

fix failure is the printout is empty

2021-11-25 13:51:19 +01:00

printer.h

complete showPGF

2021-11-17 14:03:04 +01:00

reader.cxx

remove obsolete code

2021-11-19 09:38:04 +01:00

reader.h

fix potential crashes

2021-11-25 11:50:09 +01:00

text.cxx

remove the accidentally added debug messages

2021-10-01 12:01:05 +02:00

text.h

added createCategory, dropCategory

2021-09-09 17:33:25 +02:00

typechecker.cxx

started on the typechecker

2021-11-19 10:39:06 +01:00

typechecker.h

started on the typechecker

2021-11-19 10:39:06 +01:00

vector.h

PgfVector -> Vector

2021-11-09 02:10:17 +01:00

writer.cxx

remove obsolete code

2021-11-19 09:38:04 +01:00

writer.h

remove obsolete code

2021-11-19 09:38:04 +01:00