#
# ChangeLog for src/RTLabs/RTLabsToRTL.ma
#
# Generated by Trac 1.2
# Apr 18, 2021, 12:03:20 AM

Fri, 07 Oct 2011 09:12:34 GMT mulligan [1315]
	* src/RTL/RTLToERTL.ma (moved)
	* src/RTLabs/RTLabsToRTL.ma (modified)

	another move for the same reason.  got rtlabs > rtl compiling again ...


Fri, 07 Oct 2011 09:03:38 GMT mulligan [1314]
	* src/RTLabs/RTLabsToRTL.ma (moved)

	name changes so that bash tab completion actually works with some ...


Thu, 06 Oct 2011 15:27:32 GMT mulligan [1308]
	* src/RTLabs/RTLAbstoRTL.ma (modified)

	changes to translate_cst