Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / hengxin/tla2tex issues and pull requests
#3 - Update filename in Readme
Pull Request -
State: open - Opened by thesammiller about 2 years ago
#2 - Show/Hide line numbers in generated pdfs
Issue -
State: open - Opened by hengxin about 5 years ago
Labels: help wanted, priority:normal, feature
#1 - TODO list for tla2tex tools
Issue -
State: open - Opened by hengxin about 5 years ago
Labels: enhancement