1 Commits

Author	SHA1	Message	Date
Andre Heinecke	62fae990d9	Removed version number now we use git ... for i in $(ls *); do mv $i `echo $i | sed 's/_v23//'/`; done; sed -i 's/_v23//'g *.tex compile.sh	2025-06-01 14:01:54 +02:00

Renamed from current/theory_atoms_v23.tex (Browse further)