Alexander Neumann 658bee17e9 Clean up documentation, remove inconsistencies		2017-01-30 10:48:59 +01:00
..
logo
code.css	doc/mkdocs: Improve code hilighting	2016-11-08 20:23:39 +01:00
Design.md	Clean up documentation, remove inconsistencies	2017-01-30 10:48:59 +01:00
FAQ.md	Correct FAQ	2017-01-19 11:47:33 +01:00
index.md	doc/mkdocs: Improve code hilighting	2016-11-08 20:23:39 +01:00
Manual.md	fix typo	2017-01-18 10:46:04 +01:00
PKGBUILD
REST_backend.md	rest backend: Improve documentation	2016-02-21 17:03:27 +01:00
test_irreducibility.gap