#
d05a6f90 |
|
04-Apr-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Adjust organisation of opentheory files This is so that files in the build sequence actually get "compiled" in a context where they might conceivably be loaded. This is a necessary prerequisite to getting this code compiled under Moscow ML. Sadly, that's not possible quite yet, but does seem a worthwhile objective eventually.
|