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
|