root/src/jomdoc/trunk/lib
| Name | Size | Rev | Age | Last Change |
|---|---|---|---|---|
| ../ | ||||
| tptp | 2336 | 16 months | updated TPTP implementation | |
| AbsoluteLayout.jar | 2.8 KB | 50 | 4 years | |
| antlr-runtime-3.2.jar | 148.4 KB | 1964 | 22 months | added org.symcomp.openmath library and defined notation classes |
| appframework-1.0.3.jar | 258.0 KB | 50 | 4 years | |
| colapi.jar | 8.0 KB | 10 | 4 years | initial commit |
| collections-generic-4.01.jar | 0.5 MB | 1419 | 2 years | removed svn:executable property from JARs |
| collections-generic-license.txt | 11.1 KB | 1419 | 2 years | removed svn:executable property from JARs |
| commons-io-1.4.jar | 106.5 KB | 10 | 4 years | initial commit |
| commons-io-license.txt | 11.3 KB | 10 | 4 years | initial commit |
| cssparser-0.9.5.jar | 248.0 KB | 62 | 4 years | new libs in contrib |
| javacc-license.txt | 1.7 KB | 1501 | 2 years | added javacc license |
| javacc.jar | 282.6 KB | 1271 | 3 years | JavaCC |
| jing-license.txt | 1.5 KB | 1506 | 2 years | jing license |
| jing.jar | 0.7 MB | 1505 | 2 years | #252 - fix relaxng validation |
| junit-4.1.jar | 111.5 KB | 10 | 4 years | initial commit |
| junit-license.txt | 11.6 KB | 10 | 4 years | initial commit |
| log4j-1.2.16-license.txt | 11.1 KB | 1863 | 2 years | #657 change logging to log4j (not final yet) |
| log4j-1.2.16.jar | 470.2 KB | 1863 | 2 years | #657 change logging to log4j (not final yet) |
| one-jar-ant-task-0.96.jar | 62.1 KB | 1886 | 2 years | added onejar ant target that builds a jar in which the libs are bundled |
| openmath-1.4.0.jar | 198.3 KB | 1964 | 22 months | added org.symcomp.openmath library and defined notation classes |
| sac.jar | 14.2 KB | 62 | 4 years | new libs in contrib |
| saxon9-dom.jar | 126.2 KB | 1188 | 3 years | revert to Saxon 9.1 |
| saxon9-license.txt | 0.9 KB | 10 | 4 years | initial commit |
| saxon9-xom.jar | 55.0 KB | 1188 | 3 years | revert to Saxon 9.1 |
| saxon9-xpath.jar | 45.1 KB | 1188 | 3 years | revert to Saxon 9.1 |
| saxon9.jar | 4.8 MB | 1419 | 2 years | removed svn:executable property from JARs |
| swing-layout-1.0.3.jar | 115.3 KB | 55 | 4 years | |
| swing-worker-1.1.jar | 10.7 KB | 50 | 4 years | |
| uuid-3.2.jar | 14.7 KB | 1947 | 22 months | improve performance with a custom lib for generating UUIDs |
| xmlunit-1.3-license.txt | 1.7 KB | 1928 | 22 months | Updating XML Unit |
| xmlunit-1.3.jar | 94.5 KB | 1928 | 22 months | Updating XML Unit |
| xom-1.2.3.jar | 301.1 KB | 1352 | 3 years | update xom |
| xom-license.txt | 1.0 KB | 10 | 4 years | initial commit |
Note: See TracBrowser
for help on using the browser.
