//********************************************************************/
//* Copyright (C) 2005 - 2011
*/
//* MEL O'CAT : x178g243 at yahoo.com
*/
//* License terms: GNU General Public License Version
2
*/
//*
or
any
later
version
*/
//********************************************************************/
//*4567890123456 (71-character line to adjust editor window) 23456789*/
.bat
") provided
in mmj2 to compile the source code and javadoc include commands
available on Windows XP (such as "call
") that may not be
present on older versions of Windows. mmj2 has been used on Linux
systems without difficulty.jar
"
file are included. It should not be necessary for you to recompile the
software, but the compilation process is simple using the .bat
command files provided. JRE
" (Java Runtime Environment) which is
available here:JDK 5.0
" -- which is also referred to by Sun as "J2SE
1.5.0
" (I know, it is confusing...) This download includes the JRE
as well, (so it is not necessary to separately download the Java JRE
if you download the JDK
.) Available here:JDK
(which includes the JRE
)
or
just
the
JRE
,
it is recommended that you upgrade to the current version of the Java
software so that any Sun Microsystems Inc. bug fixes are implemented on
your system.C:\downloads
directory, with a separate subdirectory for each package. This allows
for simple periodic backup of all downloaded software, which is very
convenient when the time comes to migrate to a new machine -- or
following a system restore. It is also a handy way to stay organized.
And when it comes time to reinstall with a new copy of Metamath or
mmj2,
which are basically just ".zip
" files, it is convenient to
create a "temp" sub-subdirectory within the package's subdirectory,
unzip to "..\temp
",
and then copy the contents of the unzipped directories to the previous
install location. (In the future you might need to install just the
mmj2jar.jar file, and perhaps update your RunParms file when a new
release or patch of mmj2 is produced.)Metamath.pdf
Metamath.zip (contains set.mm
too)
eimm.zip
Metamath.zip
is just a directory. "Install" it by
just unzipping it to the "C" drive, which creates directory "c:\metamath
". And that's it for
that...unless you want to add "c:\metamath
" to the Windows
environment "path
" (see II below).mmj2.zip
download provides certain handy .bat files,
including these that build html pages:C:\mmj2\test\windows\cr_althtml.bat
C:\mmj2\test\windows\cr_brief_althtml.bat
cd c:\matamath
.exe
" download file that you execute to install
Java. The
advantage is that you can back up the installation file in case it is
needed again.JRE
" (Java Runtime
Environment) which is available here:JDK 5.0
" -- which is also referred to by Sun as "J2SE
1.5.0
" (I know, it is confusing...) This download includes the JRE
as well, (so it is not necessary to separately download the Java JRE
if you download the JDK
. Available here:JDK
(which
includes the JRE
) or just the JRE
,
it is recommended that you upgrade to the current version of the Java
software so that any bug fixes are implemented on your system.C:\Program Files\Java\jdk1.5.0_06\bin;
(Change that to
reflect the location and name of the "bin" directory of your JDK or JRE
-- and it may be that Sun has already put it there so just double-check
for yourself before doing anything!)C:\Program
Files\Java\jdk1.5.0_06\
(change that name to reflect the
version you installed)mmj2.zip
; 2) unzip it to c:\mmj2
; 3) copy c:\mmj2\mmj2jar
to create c:\mmj2jar
. Then in a Command Prompt
window at c: prompt, to run mmj2, enter command "cd mmj2jar
" followed by command "mmj2.bat
" (or just "mmj2
").Command Prompt
menu item and select
"Create
Shortcut
" so that a Command Prompt desktop icon is conveniently
available on the Windows desktop for future use.) C:\mmj2\compile\windows\CompMMJ.bat
c:\mmj2\mmj2jar\mmj2jar.jar
file, in addition to creating the various mmj2 class files. C:\mmj2\doc\windows\BuildDoc.bat
c:\mmj2\mmj2jar
contains the mmj2jar.jar
executable file plus a .txt RunParms
file
designed to work "out of the box" with Metamath's set.mm Metamath
database (see AnnotatedRunParms.txt
for details of RunParms.). Directory c:\mmj2\mmj2jar
contains
what you need to actually run mmj2 -- the rest of the c:\mmj2
directory
consists of documentation, test files and other items that may be of
greater or lesser interest to you, depending on your interests and
intentions.eimm.exe
(Export/Import mmj2
Proof Worksheets) program requires that it be located inside the
current directory, along with its helpers eimmexp.cmd
and eimmimp.cmd
. Therefore, if you plan to use mmj2 and
Metamath with Metamath's eimm.exe
utility, it is simplest to have
all of the software in a single directory.metamath.exe
eimm.exe
eimmexp.cmd
eimmimp.cmd
mmj2.jar
"
-- see mmj2CommandLineArguments)
in: c:\mmj2jar\mmj2.bat
set.mm
elsewhere, remember to update the mmj2jar\RunParms.txt
file's LoadFile
RunParm
to point to the correct location!mmj2.jar
"
-- see mmj2CommandLineArguments)
in: c:\mmj2jar\mmj2.bat
RunParms.txt
file's LoadFile
RunParm refers to set.mm
.c:\mmj2jar\mmj2.bat
file.Microsoft Windows XP [Version
blahblah] (C) Copyright 1985-2001 Microsoft Corp. C:\>cd c:\mmj2jar C:\mmj2jar>mmj2PATutorial.bat |