Commit Graph

7 Commits

Author SHA1 Message Date
copilot-swe-agent[bot] 21a17d8760 Improve OCR script robustness and document dependencies
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
2025-12-25 08:18:08 +00:00
copilot-swe-agent[bot] 807cc09240 Add OCR'd research paper and multi-frontend architecture to roadmap
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
2025-12-25 08:15:40 +00:00
git 090d637cd1 Rename setup.sh to scripts/setup.sh 2025-11-27 20:24:06 +00:00
git 5501892b6e Rename run_app.sh to scripts/run_app.sh 2025-11-27 20:23:53 +00:00
git 6983005181 Rename install_all_python.sh to scripts/install_all_python.sh 2025-11-27 20:23:38 +00:00
git ec2dcb30c5 Rename extract_graphics.py to scripts/extract_graphics.py 2025-11-27 20:23:19 +00:00
git 4a9fd4d6e6 Create tlaplus.py 2025-11-27 19:56:56 +00:00