Alexander Neumann 921c2f6069 rest backend: Improve documentation		2016-02-21 17:03:27 +01:00
..
logo	…
Design.md	…
Manual.md	doc: Reduce text in README, add to Manual	2016-02-21 13:37:55 +01:00
PKGBUILD	…
REST_backend.md	rest backend: Improve documentation	2016-02-21 17:03:27 +01:00
index.md	doc: Reduce text in README, add to Manual	2016-02-21 13:37:55 +01:00
test_irreducibility.gap	…