GitHub - stacks/stacks-tools: Tools for managing the TeX sources of the Stacks project

Description

Tools for managing the TeX sources of the Stacks project.

Name		Name	Last commit message	Last commit date
Latest commit History 236 Commits
checks		checks
query		query
.gitignore		.gitignore
README.markdown		README.markdown
config.py		config.py
functions.py		functions.py