package info
(click to toggle)
Folder: makedata
 |
.. (parent) | |||
 |
- | rw-r--r-- | 46,701 | SVG11Full_propertyTable.html |
|
- | rw-r--r-- | 184,944 | SVG12Tiny_attributeTable.html |
|
- | rw-r--r-- | 165,677 | SVG12Tiny_elementTable.html |
|
- | rw-r--r-- | 6,137 | cache.py |
|
- | rw-r--r-- | 36,257 | full11attributes.py |
|
- | rw-r--r-- | 36,816 | full11elements.py |
|
- | rw-r--r-- | 7,147 | makefull11data.py |
|
- | rw-r--r-- | 6,252 | maketiny12data.py |
|
- | rw-r--r-- | 34,205 | oldfull11data.py |
|
- | rw-r--r-- | 24,095 | tiny12attributes.py |
|
- | rw-r--r-- | 30,087 | tiny12elements.py |
|
- | rw-r--r-- | 3,919 | tiny12typechecker.py |