Skip to content
[Jenkins]Jenkins
log in
Builds
No builds

Workspace of logicmoo_workspace on Built-In Node

logicmoo_workspace / packs_xtra / logicmoo_packages / prolog / MPTP2 / TSTPRes /
classif
00SystemsSep 28, 2021, 9:41:26 AM764 B
00Systems_isabSep 28, 2021, 9:41:26 AM342 B
10extractdata.shSep 28, 2021, 9:41:26 AM98 B
20mksqlloadfile.shSep 28, 2021, 9:41:26 AM225 B
30createtable.sqlSep 28, 2021, 9:41:26 AM45.28 KiB
40mktptploadfile.shSep 28, 2021, 9:41:26 AM1.46 KiB
isab.sqlSep 28, 2021, 9:41:26 AM9.57 KiB
isabqueries.sqlSep 28, 2021, 9:41:26 AM2.54 KiB
queries.sqlSep 28, 2021, 9:41:26 AM17.14 KiB