tamarin-prover/manual

Port filter.py to Python3

rkunnema opened this issue · 2 comments

rkunnema commented

After a decade long transition, python2 is phased out and not included, e.g. in mac os anymore. We should port this little script to not make producing the manual unnecessarily difficult. Unfortunately, I don't speak in split tongues.

darrenldl commented

Filed a PR: rkunnema#2

(Only read this issue after filing said PR - let me know if you'd like me to file the PR to here directly instead.)

  • ❤️1
rkunnema commented

Thanks @darrenldl ! Merged along with #97