History log of /seL4-l4v-10.1.1/HOL4/src/real/complexScript.sml
Revision Date Author Comments
# 45830f4a 19-Feb-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Move complex script into src/real

Unless and until we get a deal more stuff that builds on the complex
numbers, having one directory for a single script file seems
wasteful. (Here, "waste" means that we get larger results from `ls` in
the src directory, and we pass up an opportunity for a little
Holmake-parallelism.)