 |
|
|
|
.. (parent) |
|
d |
rwxr-xr-x |
4,096 |
test
|
 |
- |
rw-r--r-- |
1,007,830 |
Avatox.pdf
|
|
- |
rw-r--r-- |
691,334 |
Avatox_XML_Format.pdf
|
|
- |
rw-r--r-- |
8,736 |
Makefile
|
|
- |
rw-r--r-- |
1,420 |
README
|
|
- |
rw-r--r-- |
5,739 |
README.avatox
|
|
- |
rw-r--r-- |
4,538 |
asis_ul-environment-check_parameters.adb
|
|
- |
rw-r--r-- |
3,750 |
asis_ul-source_table-processing-asis_processing.adb
|
|
- |
rw-r--r-- |
2,240 |
asis_ul-source_table-processing-initialize.adb
|
|
- |
rw-r--r-- |
1,314 |
basic_decl.ads
|
|
- |
rw-r--r-- |
1,066 |
boot.gpr
|
|
- |
rw-r--r-- |
977 |
boot_xml.gpr
|
|
- |
rwxr-xr-x |
1,055 |
do-regen-ada.sh
|
|
- |
rwxr-xr-x |
1,006 |
do-self-rep.sh
|
|
- |
rwxr-xr-x |
1,291 |
gnat2gnat.sh
|
|
- |
rw-r--r-- |
4,859 |
gnat2xml-command_line.adb
|
|
- |
rw-r--r-- |
2,693 |
gnat2xml-command_line.ads
|
|
- |
rw-r--r-- |
1,965 |
gnat2xml-driver.adb
|
|
- |
rw-r--r-- |
1,834 |
gnat2xml-driver.ads
|
|
- |
rw-r--r-- |
2,958 |
gnat2xml-gnat2tokens.adb
|
|
- |
rw-r--r-- |
1,892 |
gnat2xml-gnat2xsd.adb
|
|
- |
rw-r--r-- |
1,786 |
gnat2xml-gnat2xsd.ads
|
|
- |
rw-r--r-- |
14,217 |
gnat2xml-projects.adb
|
|
- |
rw-r--r-- |
2,666 |
gnat2xml-projects.ads
|
|
- |
rw-r--r-- |
3,591 |
gnat2xml-strip_comments.adb
|
|
- |
rw-r--r-- |
17,472 |
gnat2xml-xml.adb
|
|
- |
rw-r--r-- |
2,811 |
gnat2xml-xml.ads
|
|
- |
rw-r--r-- |
10,139 |
gnat2xml-xml2gnat.adb
|
|
- |
rw-r--r-- |
13,667 |
gnat2xml-xml2tree.adb
|
|
- |
rw-r--r-- |
2,003 |
gnat2xml-xml2tree.ads
|
|
- |
rw-r--r-- |
2,354 |
gnat2xml-xml_file_output.ads
|
|
- |
rw-r--r-- |
28,861 |
gnat2xml-xsd.adb
|
|
- |
rw-r--r-- |
1,954 |
gnat2xml-xsd.ads
|
|
- |
rw-r--r-- |
3,456 |
gnat2xml.ads
|
|
- |
rw-r--r-- |
3,021 |
gnat2xml.gpr
|
|
- |
rw-r--r-- |
3,380 |
gnat2xml_versioning.adb
|
|
- |
rw-r--r-- |
3,177 |
gnat2xml_versioning.ads
|
|
- |
rw-r--r-- |
765 |
self_rep.gpr
|
|
- |
rw-r--r-- |
1,164 |
tokens.gpr
|
