textproc/opentoken/pkg-plist

   1 include/opentoken/ada_lexer.adb
   2 include/opentoken/ada_lexer.ads
   3 include/opentoken/html_lexer-basic.ads
   4 include/opentoken/html_lexer-tags.ads
   5 include/opentoken/html_lexer-task_safe.adb
   6 include/opentoken/html_lexer-task_safe.ads
   7 include/opentoken/html_lexer-task_unsafe.adb
   8 include/opentoken/html_lexer-task_unsafe.ads
   9 include/opentoken/html_lexer.adb
  10 include/opentoken/html_lexer.ads
  11 include/opentoken/java_lexer.ads
  12 include/opentoken/m3_lexer.ads
  13 include/opentoken/opentoken-production-list-print.adb
  14 include/opentoken/opentoken-production-list-print.ads
  15 include/opentoken/opentoken-production-list.adb
  16 include/opentoken/opentoken-production-list.ads
  17 include/opentoken/opentoken-production-parser-lalr.adb
  18 include/opentoken/opentoken-production-parser-lalr.ads
  19 include/opentoken/opentoken-production-parser-lrk_item.adb
  20 include/opentoken/opentoken-production-parser-lrk_item.ads
  21 include/opentoken/opentoken-production-parser.adb
  22 include/opentoken/opentoken-production-parser.ads
  23 include/opentoken/opentoken-production-print.adb
  24 include/opentoken/opentoken-production-print.ads
  25 include/opentoken/opentoken-production.adb
  26 include/opentoken/opentoken-production.ads
  27 include/opentoken/opentoken-recognizer-based_integer.adb
  28 include/opentoken/opentoken-recognizer-based_integer.ads
  29 include/opentoken/opentoken-recognizer-based_integer_ada_style.adb
  30 include/opentoken/opentoken-recognizer-based_integer_ada_style.ads
  31 include/opentoken/opentoken-recognizer-based_integer_java_style.adb
  32 include/opentoken/opentoken-recognizer-based_integer_java_style.ads
  33 include/opentoken/opentoken-recognizer-based_real_ada_style.adb
  34 include/opentoken/opentoken-recognizer-based_real_ada_style.ads
  35 include/opentoken/opentoken-recognizer-bracketed_comment.adb
  36 include/opentoken/opentoken-recognizer-bracketed_comment.ads
  37 include/opentoken/opentoken-recognizer-character_set.adb
  38 include/opentoken/opentoken-recognizer-character_set.ads
  39 include/opentoken/opentoken-recognizer-csv_field.adb
  40 include/opentoken/opentoken-recognizer-csv_field.ads
  41 include/opentoken/opentoken-recognizer-end_of_file.adb
  42 include/opentoken/opentoken-recognizer-end_of_file.ads
  43 include/opentoken/opentoken-recognizer-escape_sequence.adb
  44 include/opentoken/opentoken-recognizer-escape_sequence.ads
  45 include/opentoken/opentoken-recognizer-extended_digits.adb
  46 include/opentoken/opentoken-recognizer-extended_digits.ads
  47 include/opentoken/opentoken-recognizer-graphic_character.adb
  48 include/opentoken/opentoken-recognizer-graphic_character.ads
  49 include/opentoken/opentoken-recognizer-html_entity.adb
  50 include/opentoken/opentoken-recognizer-html_entity.ads
  51 include/opentoken/opentoken-recognizer-identifier.adb
  52 include/opentoken/opentoken-recognizer-identifier.ads
  53 include/opentoken/opentoken-recognizer-integer.adb
  54 include/opentoken/opentoken-recognizer-integer.ads
  55 include/opentoken/opentoken-recognizer-keyword.adb
  56 include/opentoken/opentoken-recognizer-keyword.ads
  57 include/opentoken/opentoken-recognizer-line_comment.adb
  58 include/opentoken/opentoken-recognizer-line_comment.ads
  59 include/opentoken/opentoken-recognizer-nothing.adb
  60 include/opentoken/opentoken-recognizer-nothing.ads
  61 include/opentoken/opentoken-recognizer-octal_escape.adb
  62 include/opentoken/opentoken-recognizer-octal_escape.ads
  63 include/opentoken/opentoken-recognizer-real.adb
  64 include/opentoken/opentoken-recognizer-real.ads
  65 include/opentoken/opentoken-recognizer-separator.adb
  66 include/opentoken/opentoken-recognizer-separator.ads
  67 include/opentoken/opentoken-recognizer-string.adb
  68 include/opentoken/opentoken-recognizer-string.ads
  69 include/opentoken/opentoken-recognizer.ads
  70 include/opentoken/opentoken-text_feeder-string.adb
  71 include/opentoken/opentoken-text_feeder-string.ads
  72 include/opentoken/opentoken-text_feeder-text_io.adb
  73 include/opentoken/opentoken-text_feeder-text_io.ads
  74 include/opentoken/opentoken-text_feeder.ads
  75 include/opentoken/opentoken-token-enumerated-analyzer.adb
  76 include/opentoken/opentoken-token-enumerated-analyzer.ads
  77 include/opentoken/opentoken-token-enumerated-identifier.adb
  78 include/opentoken/opentoken-token-enumerated-identifier.ads
  79 include/opentoken/opentoken-token-enumerated-integer.adb
  80 include/opentoken/opentoken-token-enumerated-integer.ads
  81 include/opentoken/opentoken-token-enumerated-list-print.adb
  82 include/opentoken/opentoken-token-enumerated-list-print.ads
  83 include/opentoken/opentoken-token-enumerated-list.adb
  84 include/opentoken/opentoken-token-enumerated-list.ads
  85 include/opentoken/opentoken-token-enumerated-nonterminal.adb
  86 include/opentoken/opentoken-token-enumerated-nonterminal.ads
  87 include/opentoken/opentoken-token-enumerated-real.adb
  88 include/opentoken/opentoken-token-enumerated-real.ads
  89 include/opentoken/opentoken-token-enumerated-string.adb
  90 include/opentoken/opentoken-token-enumerated-string.ads
  91 include/opentoken/opentoken-token-enumerated.adb
  92 include/opentoken/opentoken-token-enumerated.ads
  93 include/opentoken/opentoken-token-linked_list.adb
  94 include/opentoken/opentoken-token-linked_list.ads
  95 include/opentoken/opentoken-token-list.ads
  96 include/opentoken/opentoken-token-list_mixin.adb
  97 include/opentoken/opentoken-token-list_mixin.ads
  98 include/opentoken/opentoken-token-selection.ads
  99 include/opentoken/opentoken-token-selection_mixin.adb
 100 include/opentoken/opentoken-token-selection_mixin.ads
 101 include/opentoken/opentoken-token-sequence.ads
 102 include/opentoken/opentoken-token-sequence_mixin.adb
 103 include/opentoken/opentoken-token-sequence_mixin.ads
 104 include/opentoken/opentoken-token.adb
 105 include/opentoken/opentoken-token.ads
 106 include/opentoken/opentoken.adb
 107 include/opentoken/opentoken.ads
 108 lib/gnat/opentoken.gpr
 109 lib/opentoken/ada_lexer.ali
 110 lib/opentoken/html_lexer-basic.ali
 111 lib/opentoken/html_lexer-tags.ali
 112 lib/opentoken/html_lexer-task_safe.ali
 113 lib/opentoken/html_lexer-task_unsafe.ali
 114 lib/opentoken/html_lexer.ali
 115 lib/opentoken/java_lexer.ali
 116 lib/opentoken/libopentoken.so
 117 lib/opentoken/libopentoken.so.%%OTLIBVER%%
 118 lib/opentoken/m3_lexer.ali
 119 lib/opentoken/opentoken-production-list-print.ali
 120 lib/opentoken/opentoken-production-list.ali
 121 lib/opentoken/opentoken-production-parser-lalr.ali
 122 lib/opentoken/opentoken-production-parser-lrk_item.ali
 123 lib/opentoken/opentoken-production-parser.ali
 124 lib/opentoken/opentoken-production-print.ali
 125 lib/opentoken/opentoken-production.ali
 126 lib/opentoken/opentoken-recognizer-based_integer.ali
 127 lib/opentoken/opentoken-recognizer-based_integer_ada_style.ali
 128 lib/opentoken/opentoken-recognizer-based_integer_java_style.ali
 129 lib/opentoken/opentoken-recognizer-based_real_ada_style.ali
 130 lib/opentoken/opentoken-recognizer-bracketed_comment.ali
 131 lib/opentoken/opentoken-recognizer-character_set.ali
 132 lib/opentoken/opentoken-recognizer-csv_field.ali
 133 lib/opentoken/opentoken-recognizer-end_of_file.ali
 134 lib/opentoken/opentoken-recognizer-escape_sequence.ali
 135 lib/opentoken/opentoken-recognizer-extended_digits.ali
 136 lib/opentoken/opentoken-recognizer-graphic_character.ali
 137 lib/opentoken/opentoken-recognizer-html_entity.ali
 138 lib/opentoken/opentoken-recognizer-identifier.ali
 139 lib/opentoken/opentoken-recognizer-integer.ali
 140 lib/opentoken/opentoken-recognizer-keyword.ali
 141 lib/opentoken/opentoken-recognizer-line_comment.ali
 142 lib/opentoken/opentoken-recognizer-nothing.ali
 143 lib/opentoken/opentoken-recognizer-octal_escape.ali
 144 lib/opentoken/opentoken-recognizer-real.ali
 145 lib/opentoken/opentoken-recognizer-separator.ali
 146 lib/opentoken/opentoken-recognizer-string.ali
 147 lib/opentoken/opentoken-recognizer.ali
 148 lib/opentoken/opentoken-text_feeder-string.ali
 149 lib/opentoken/opentoken-text_feeder-text_io.ali
 150 lib/opentoken/opentoken-text_feeder.ali
 151 lib/opentoken/opentoken-token-enumerated-analyzer.ali
 152 lib/opentoken/opentoken-token-enumerated-identifier.ali
 153 lib/opentoken/opentoken-token-enumerated-integer.ali
 154 lib/opentoken/opentoken-token-enumerated-list-print.ali
 155 lib/opentoken/opentoken-token-enumerated-list.ali
 156 lib/opentoken/opentoken-token-enumerated-nonterminal.ali
 157 lib/opentoken/opentoken-token-enumerated-real.ali
 158 lib/opentoken/opentoken-token-enumerated-string.ali
 159 lib/opentoken/opentoken-token-enumerated.ali
 160 lib/opentoken/opentoken-token-linked_list.ali
 161 lib/opentoken/opentoken-token-list.ali
 162 lib/opentoken/opentoken-token-list_mixin.ali
 163 lib/opentoken/opentoken-token-selection.ali
 164 lib/opentoken/opentoken-token-selection_mixin.ali
 165 lib/opentoken/opentoken-token-sequence.ali
 166 lib/opentoken/opentoken-token-sequence_mixin.ali
 167 lib/opentoken/opentoken-token.ali
 168 lib/opentoken/opentoken.ali