Christian Grothoff de0d987e34

start with new history API implementation

2020-02-11 15:39:39 +01:00

..

doxygen

deduplicate doxyfiles, integrate with build

2020-01-18 23:19:48 +01:00

logos

del

2019-04-24 19:28:31 +02:00

paper

FIXMEs in the paper.

2018-05-25 19:04:40 +02:00

prebuilt @ ca53235ccf

start with new history API implementation

2020-02-11 15:39:39 +01:00

.gitignore

update ignore file

2017-04-10 17:21:04 +02:00

Makefile.am

deduplicate doxyfiles, integrate with build

2020-01-18 23:19:48 +01:00