| .. |
| app | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| backends | Complete the documentation on the Gambit backend | 6 years ago |
| faq | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| ffi | Preparation for the Gambit Scheme backend | 6 years ago |
| listing | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| proofs | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| reference | Add compatibility with the original record update syntax. | 6 years ago |
| tutorial | Update docs; options now in config.mk | 6 years ago |
| typedd | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| updates | Complete the documentation on the Gambit backend | 6 years ago |
| conf.py | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| index.rst | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |