#
# ChangeLog for src/root
#
# Generated by Trac 1.2
# Feb 25, 2021, 5:44:39 PM

Tue, 22 Mar 2011 16:42:04 GMT sacerdot [703]
	* src/root (modified)

	lib is now the default standard library (after commit 11216 in ...


Fri, 18 Mar 2011 12:01:58 GMT mulligan [696]
	* src/ASM/I8051.ma (added)
	* src/LIN/LIN.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/root (added)

	Added missing I8051 file and completed most of LIN formalisation.