History log of /seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/components_checksum
Revision Date Author Comments
# c04c998e 25-Jan-2013 wenzelm <none@none>

another attempt to standardize sort order in a portable way;
# 055da3d4 17-Jan-2013 wenzelm <none@none>

more system-independent order of components.sha1 to keep changes monotonic;
# bd549e86 14-Dec-2012 wenzelm <none@none>

more formal components_checksum tool;

--HG--
rename : Admin/components/checksum => Admin/lib/Tools/components_checksum