We built a small tool for generating tags (used by Vim and Emacs) for
ATS-Anairiats. Though the focus of ATS has been switched to ATS-Postiats,
such tool is helpful for browsing the code of ATS-Postiats, which is
implemented in ATS-Anairiats. Please check the following link for the usage
of the tool. http://ats-documentation.readthedocs.org/en/latest/atstools/taggen/content.html
The jar file is built on 64-bit Linux. I didn’t test it on 32-bit Linux. If
you have trouble using it, please tell me.
We are working on building more tools for ATS-Postiats to improve the
programming experience of it.
This is very valuable tool. I have been using ‘grep’ to search ATS code for
all these years
I will try to make patsopt to support --taggen soon. In this way, the
taggen tool can also be used on ATS2 programs.On Sunday, November 17, 2013 1:30:04 AM UTC-5, Zhiqiang Ren wrote:
Hi all,
We built a small tool for generating tags (used by Vim and Emacs) for
ATS-Anairiats. Though the focus of ATS has been switched to ATS-Postiats,
such tool is helpful for browsing the code of ATS-Postiats, which is
implemented in ATS-Anairiats. Please check the following link for the usage
of the tool. Tag Generator For ATS-Anairiats — ATS Knowledge 0.1 documentation
The jar file is built on 64-bit Linux. I didn’t test it on 32-bit Linux.
If you have trouble using it, please tell me.
We are working on building more tools for ATS-Postiats to improve the
programming experience of it.