typos in doc + removing useless win32 cruft

diff --git a/INSTALL.TXT b/INSTALL.TXT
index 048b3c96c744bffdd126d6dcaccb20c7942f344c..abefcfdf8e07ecad94514d58a1e30095beabeadf 100644 (file)
--- a/INSTALL.TXT
+++ b/INSTALL.TXT
@@ -72,11 +72,14 @@ your .bashrc file.
 
 Troubleshooting:
 ----------------
+
+* No Readline *
 Under Linux, if you don't have readline and don't want to install it
 (e.g. you rely on rlwrap or ledit), you'll have to remove -lreadline
 from lua/Makefile, and to remove the #define LUA_USE_READLINE from
 lua/luaconf.h
 
+* Custom VM *
 If you use your own Lua VM, depending on your OS, you might have
 problems with unexported symbols required by Pluto. Pluto requires the
 symbols prefixed with LUAI_FUNC in the VM to be exported, and they
@@ -84,9 +87,10 @@ aren't by default under Linux and Windows. This is set in luaconf.h;
 you'll need to change that setting in your own Lua VM if you want to
 use it.
 
+* Pluto issues *
 Alternatively, you can let metalua run without Pluto by setting the
-environment variable LUA_MFAST to "yes". However, this might cause
-parasitic interactions when several source files are compiled
+environment variable LUA_NOSPRINGS to "true". However, this might
+cause parasitic interactions when several source files are compiled
 simultaneously, so you'd rather precompile each file and library one
 by one.
 

diff --git a/README.TXT b/README.TXT
index bf819109ab12b456a616653a9f972708e4a30e76..bfb785105a89ea3d180ae44789028b7bc00b7c7e 100644 (file)
--- a/README.TXT
+++ b/README.TXT
@@ -338,5 +338,5 @@ I'd like to thank the people who wrote the open source code which
 makes metalua run: the Lua team, the authors of Yueliang, Pluto, Lua
 Rings, Bitlib; and the people whose bug reports, patches and
 insightful discussions dramatically improved the global design,
-including John Belmonte, Viacheslav Egorov, David Manura, Olivier
+including John Belmonte, Vyacheslav Egorov, David Manura, Olivier
 Gournet, Eric Raible, Laurence Tratt...