This repository has been archived on 2024-04-22. You can view files and clone it, but cannot push or open issues or pull requests.

Burkhart Wolff 4578f22aa5 Critical revision of the patch, and actuvation.		2019-06-20 12:49:01 +02:00
..
thy_info.ML	some better trace infos over the LaTeX generator Bug	2019-05-23 15:17:24 +02:00
thy_info.orig.ML	some better trace infos over the LaTeX generator Bug	2019-05-23 15:17:24 +02:00
thy_output.ML	merge	2019-06-20 10:31:27 +02:00
thy_output.orig18.ML	some better trace infos over the LaTeX generator Bug	2019-05-23 15:17:24 +02:00
thy_output.orig19.ML	Critical revision of the patch, and actuvation.	2019-06-20 12:49:01 +02:00