corrected the path to jai*.jar in the documentation. the new directory-structure...
[mir.git] / doc /
drwxr-xr-x   ..
-rwxr-xr-x 169 CHANGES.txt
-rwxr-xr-x 7330 CODESTRUCTURE
-rwxr-xr-x 2827 DC.txt
-rwxr-xr-x 12351 INSTALL.mir
-rwxr-xr-x 2536 INSTALL.postgresql
-rwxr-xr-x 1896 INTERNATIONALIZATION.howto
-rwxr-xr-x 1264 MAINTENANCE
-rwxr-xr-x 2346 TODO.txt
-rwxr-xr-x 1031 UPGRADING.mir
-rwxr-xr-x 984 mission.html