SCM Repositories - sigmakee

Files shown:	10 (Show 13 dead files)
Sticky Tag:

Index of /sigma

File	Rev.	Age	Author	Last log entry
Parent Directory
${env.CATALINA_HOME}/
build/
classes/
lib/
src/
web/
InstallSigma.bat	1.5	7 weeks	tzm	SystemOnTPTP merged into AskTell/InferenceTestSuite
InstallSigma.sh	1.4	7 weeks	tzm	SystemOnTPTP merged into AskTell/InferenceTestSuite
SigmaProgrammer.pdf	1.3	2 years	apease	Minor change to mention a dependency on the Oreilly servlet.jar package
SigmaUserManual-2-0.pdf	1.1	13 months	abu_banaat	Initial check-in of the user manual for Sigma 2.0.
SigmaUserManual-2-01.pdf	1.1	13 months	abu_banaat	Update the Sigma User Manual for minor release 2.01.
SigmaUserManual.pdf	1.8	10 months	apease	Copied SigmaUserManual-2-01.pdf to this name.
build.xml	1.12	7 weeks	tzm	SystemOnTPTP merged into AskTell/InferenceTestSuite
suo-kif.pdf	1.5	10 months	apease	Fixed some typos in the explanatory text. Corrected the Appendix BNF to conform...
systemsInfo.xml	1.1	11 months	steventrac	new file: systemsInfo.xml. Stores systems information, needed for built-in Syst...
web.xml	1.3	2 years	apease	File of named parameters needed by build.xml