What are these atxt files in ats github repo?

Google Group
1

Are they related to documentation tool in ATS , or to something like
literate programming. (Just curious).

Thanks

2

They can be used for documentation as well as literate programming.
I also want to use atext to support certain forms of meta-programming in
the future.On Wednesday, July 2, 2014 11:43:12 PM UTC-4, Chotu S wrote:

Are they related to documentation tool in ATS , or to something like
literate programming. (Just curious).

Thanks