You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.

Felix Oesterle 6c235fedf1 Add logo and favicon, adjust styling		4 years ago
..
_static	Add logo and favicon, adjust styling	4 years ago
Makefile	Add sphinx-quickstart files (documentation)	4 years ago
conf.py	Add logo and favicon, adjust styling	4 years ago
develop.rst	Add some files, git workflow information	4 years ago
index.rst	Add logo and favicon, adjust styling	4 years ago
introduction.rst	Add some files, git workflow information	4 years ago
make.bat	Add sphinx-quickstart files (documentation)	4 years ago
moduleOverview.rst	Add some files, git workflow information	4 years ago
moduleStdDFA.rst	Add some files, git workflow information	4 years ago