No longer truncate module names at 10 characters when constructing paths;
authorDavid Given <dg@cowlark.com>
Sat, 7 Jan 2017 22:00:52 +0000 (23:00 +0100)
committerDavid Given <dg@cowlark.com>
Sat, 7 Jan 2017 22:00:52 +0000 (23:00 +0100)
commit893471a42eb4d189cc0ba1dac1864d6f151bccd7
tree2b0c953366701c7ef0eabb9845535d56869a6ee9
parentd50a6f99def1f1dcfe14da71e4ec7be56bbf2f3d
No longer truncate module names at 10 characters when constructing paths;
rename some library modules to their full names.
lang/m2/comp/build.lua
lang/m2/comp/defmodule.c
lang/m2/libm2/Conversions.def [moved from lang/m2/libm2/Conversion.def with 100% similarity]
lang/m2/libm2/Conversions.mod [moved from lang/m2/libm2/Conversion.mod with 100% similarity]
lang/m2/libm2/RealConversions.def [moved from lang/m2/libm2/RealConver.def with 100% similarity]
lang/m2/libm2/RealConversions.mod [moved from lang/m2/libm2/RealConver.mod with 100% similarity]