- Committer: Bazaar Package Importer
- Date: 2006-07-11 12:26:18 UTC
- Revision ID: james.westby@ubuntu.com-20060711122618-7a5i5hhkld8cniun
* Correctly set PREFIX when building, closes: #378260.
* Added bashim.dpatch to remove bashisms, closes: #377803.
* Added bashim.dpatch to remove bashisms, closes: #377803.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
debian
|
2 | 17 years ago | Bazaar Package Importer | * Correctly set PREFIX when building, closes: #378 |
|
||
|
demos
|
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg |
|
||
action.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.8 KB |
|
|
|
action.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.7 KB |
|
|
|
AUTHORS |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 92 bytes |
|
|
|
back.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.6 KB |
|
|
|
back.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1012 bytes |
|
|
|
breadth.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2 KB |
|
|
|
breadth.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.9 KB |
|
|
|
CHANGES |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.4 KB |
|
|
|
check-ocaml-version.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 4 KB |
|
|
|
code.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 67.1 KB |
|
|
|
code.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 977 bytes |
|
|
|
codeBits.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.7 KB |
|
|
|
codeBits.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.7 KB |
|
|
|
compressedBitSet.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 4.7 KB |
|
|
|
compressedBitSet.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 964 bytes |
|
|
|
concreteSyntax.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.2 KB |
|
|
|
conflict.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 15.6 KB |
|
|
|
conflict.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1 KB |
|
|
|
derivation.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 9.4 KB |
|
|
|
derivation.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.7 KB |
|
|
|
dot.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 3.4 KB |
|
|
|
dot.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2 KB |
|
|
|
error.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.8 KB |
|
|
|
error.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.6 KB |
|
|
|
fancy-parser.mly |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 12.4 KB |
|
|
|
front.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.3 KB |
|
|
|
front.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.1 KB |
|
|
|
gMap.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 5.9 KB |
|
|
|
grammar.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 27.6 KB |
|
|
|
grammar.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 12.2 KB |
|
|
|
gSet.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 3.1 KB |
|
|
|
IL.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 5.2 KB |
|
|
|
infer.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 10.7 KB |
|
|
|
infer.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.5 KB |
|
|
|
infiniteArray.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.7 KB |
|
|
|
infiniteArray.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.4 KB |
|
|
|
inliner.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 7.7 KB |
|
|
|
inliner.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.2 KB |
|
|
|
INSTALL |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 435 bytes |
|
|
|
interface.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2 KB |
|
|
|
interface.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.2 KB |
|
|
|
internalSyntax.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.3 KB |
|
|
|
invariant.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 20.2 KB |
|
|
|
invariant.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 5 KB |
|
|
|
IO.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.5 KB |
|
|
|
IO.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.5 KB |
|
|
|
item.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 11.1 KB |
|
|
|
item.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.7 KB |
|
|
|
keyword.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.8 KB |
|
|
|
keyword.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.9 KB |
|
|
|
lexdep.mll |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.9 KB |
|
|
|
lexer.mll |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 13.1 KB |
|
|
|
lexmli.mll |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.4 KB |
|
|
|
LICENSE |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 30.9 KB |
|
|
|
lineCount.mll |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.1 KB |
|
|
|
listMonad.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.7 KB |
|
|
|
listMonad.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.2 KB |
|
|
|
lookahead.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.4 KB |
|
|
|
lr0.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 13.8 KB |
|
|
|
lr0.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 3.6 KB |
|
|
|
lr1.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 21.1 KB |
|
|
|
lr1.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 4.2 KB |
|
|
|
lr1partial.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 7.3 KB |
|
|
|
lr1partial.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.6 KB |
|
|
|
Makefile |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 3.7 KB |
|
|
|
Makefile.common |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 5.2 KB |
|
|
|
mark.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.2 KB |
|
|
|
mark.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.3 KB |
|
|
|
menhir.1 |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.7 KB |
|
|
|
misc.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 4.8 KB |
|
|
|
misc.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 5.1 KB |
|
|
|
nonTerminalDefinitionInlining.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 6 KB |
|
|
|
nonTerminalDefinitionInlining.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.2 KB |
|
|
|
option.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.1 KB |
|
|
|
option.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1 KB |
|
|
|
parameterizedGrammar.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 18.6 KB |
|
|
|
parameterizedGrammar.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.6 KB |
|
|
|
parameters.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.1 KB |
|
|
|
parser.mly |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 9.1 KB |
|
|
|
parserAux.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.6 KB |
|
|
|
parserAux.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.7 KB |
|
|
|
partialGrammar.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 25 KB |
|
|
|
partialGrammar.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1 KB |
|
|
|
patricia.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 30.9 KB |
|
|
|
patricia.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.2 KB |
|
|
|
positions.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 3.3 KB |
|
|
|
positions.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 3.9 KB |
|
|
|
preFront.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.2 KB |
|
|
|
preFront.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.5 KB |
|
|
|
printer.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 14.6 KB |
|
|
|
printer.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.7 KB |
|
|
|
reachability.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.1 KB |
|
|
|
reachability.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.1 KB |
|
|
|
settings.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 6.4 KB |
|
|
|
settings.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 3.5 KB |
|
|
|
standard.mly |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 4.8 KB |
|
|
|
stretch.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.9 KB |
|
|
|
stringMap.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.2 KB |
|
|
|
stringMap.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.3 KB |
|
|
|
stringSet.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1001 bytes |
|
|
|
stringSet.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 991 bytes |
|
|
|
syntax.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 3.6 KB |
|
|
|
tarjan.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 5.7 KB |
|
|
|
tarjan.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.9 KB |
|
|
|
time.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.1 KB |
|
|
|
time.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.1 KB |
|
|
|
tokenType.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 3.5 KB |
|
|
|
tokenType.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1.5 KB |
|
|
|
traverse.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 9.6 KB |
|
|
|
unionFind.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 5.4 KB |
|
|
|
unionFind.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.4 KB |
|
|
|
unparameterizedPrinter.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 5.1 KB |
|
|
|
unparameterizedPrinter.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 1 KB |
|
|
|
unparameterizedSyntax.mli |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 2.6 KB |
|
|
|
version.ml |
1 | 17 years ago | Bazaar Package Importer | Import upstream version 20060615.dfsg | 25 bytes |
|
|