| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 32 | logplain |
| d--------- | C | 819 | logplain |
| d--------- | Java | 308 | logplain |
| -rw-r--r-- | Makefile.am | 2069 | logplain |
| d--------- | OCaml | 1066 | logplain |
| d--------- | Prolog | 1163 | logplain |
| -rw-r--r-- | interfaced_boxes.hh | 4094 | logplain |
| -rw-r--r-- | marked_pointers.hh | 2036 | logplain |
| -rw-r--r-- | ppl_interface_generator_common.m4 | 35083 | logplain |
| -rw-r--r-- | ppl_interface_generator_common_dat.m4 | 39919 | logplain |
| -rw-r--r-- | ppl_interface_generator_common_procedure_generators.m4 | 6037 | logplain |
| -rw-r--r-- | ppl_interface_generator_copyright | 905 | logplain |
 |
index : ppl.git | |
| ppl |
| summaryrefslogtreecommitdiff |
path: root/interfaces