Yentl Van Tendeloo 6fdb69d798 Compress the bootstrap.m and minimal.m file using gzip vor 8 Jahren
..
__init__.py e527d9b485 Initial commit from svn vor 9 Jahren
main.py 6fdb69d798 Compress the bootstrap.m and minimal.m file using gzip vor 8 Jahren
rdf.py 6a39e61df3 Prepare queries vor 9 Jahren
status.py 1262b06214 Stricter checking enforced on duplicate entries: do not redefine global symbol if already exists vor 9 Jahren