Archive "HTDP_2017-12-30.zip"
Path: /java/apps/misc/HTDP_2017-12-30.zip
File size: 13.45 MB
MIME-type: application/zip
Files in archive: 11
Total size: 16.82 MB
Size in archive: 13.45 MB
Compression: 80%
htdp.cmd (192 B)
htdp.ico (11.05 KB)
HTDP.jar (2.12 MB)
lib/
lib/AbsoluteLayout.jar (2.78 KB)
lib/beansbinding-1.2.1.jar (616.49 KB)
lib/derby.jar (2.49 MB)
lib/eclipselink.jar (8 MB)
lib/javax.persistence_2.1.0.v201304241213.jar (156.8 KB)
lib/org.eclipse.persistence.jpa.jpql_2.5.2.v20140319-9ad6abd.jar (1.3 MB)
README.TXT (1.29 KB)
s1_user_manual_20171229.pdf (2.14 MB)