History log of /seL4-l4v-master/HOL4/examples/acl2/tests/gold/test2.sml
Revision Date Author Comments
# 845531b5 14-Sep-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

Remove trailing whitespace in source files.


# 76df2820 12-Sep-2010 Matt Kaufmann <kaufmann@cs.utexas.edu>

Modified boilerplate for generated ML files, which now end in .sml instead of .ml and have underscores in filenames in place of hyphens.