![[ICO]](/icons/blank.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Icon | 2020-06-30 17:12 | 0 | |
| _home.htm | 2014-01-05 17:21 | 17K | |
| dimensions/ | 2017-05-19 18:34 | - | |
| explain/ | 2020-06-29 18:43 | - | |
| facetings/ | 2019-11-23 13:43 | - | |
| favicon.ico | 2012-01-29 03:38 | 60K | |
| home.htm | 2020-06-30 10:41 | 16K | |
| incmats/ | 2020-06-30 19:04 | - | |
| pdf/ | 2018-07-04 20:47 | - | |
| png/ | 2020-06-30 19:13 | - | |
| quasi/ | 2016-01-03 19:34 | - | |
| technical/ | 2020-06-30 19:17 | - | |
| version.htm | 2020-06-30 10:48 | 24K | |
| version.txt | 2012-11-27 01:16 | 9.6K | |
| vrml/ | 2019-04-23 20:26 | - | |