diff options
| -rw-r--r-- | dev/doc/.cvsignore (renamed from doc/.cvsignore) | 0 | ||||
| -rw-r--r-- | dev/doc/Makefile (renamed from doc/Makefile) | 0 | ||||
| -rw-r--r-- | dev/doc/ast.ml (renamed from doc/ast.ml) | 0 | ||||
| -rwxr-xr-x | dev/doc/check-grammar (renamed from doc/check-grammar) | 0 | ||||
| -rw-r--r-- | dev/doc/interp.dep.ps (renamed from doc/interp.dep.ps) | 0 | ||||
| -rw-r--r-- | dev/doc/intro.tex (renamed from doc/intro.tex) | 0 | ||||
| -rw-r--r-- | dev/doc/kernel.dep.ps (renamed from doc/kernel.dep.ps) | 0 | ||||
| -rw-r--r-- | dev/doc/lex.mll (renamed from doc/lex.mll) | 0 | ||||
| -rw-r--r-- | dev/doc/library.dep.ps (renamed from doc/library.dep.ps) | 0 | ||||
| -rw-r--r-- | dev/doc/macros.tex (renamed from doc/macros.tex) | 0 | ||||
| -rw-r--r-- | dev/doc/memo-v8.tex (renamed from doc/memo-v8.tex) | 0 | ||||
| -rw-r--r-- | dev/doc/minicoq.tex (renamed from doc/minicoq.tex) | 0 | ||||
| -rw-r--r-- | dev/doc/newsyntax.tex (renamed from doc/newsyntax.tex) | 0 | ||||
| -rw-r--r-- | dev/doc/parse.ml (renamed from doc/parse.ml) | 0 | ||||
| -rw-r--r-- | dev/doc/parsing.dep.ps (renamed from doc/parsing.dep.ps) | 0 | ||||
| -rw-r--r-- | dev/doc/preamble.tex (renamed from doc/preamble.tex) | 0 | ||||
| -rw-r--r-- | dev/doc/pretyping.dep.ps (renamed from doc/pretyping.dep.ps) | 0 | ||||
| -rw-r--r-- | dev/doc/proofs.dep.ps (renamed from doc/proofs.dep.ps) | 0 | ||||
| -rw-r--r-- | dev/doc/syntax-v8.tex (renamed from doc/syntax-v8.tex) | 0 | ||||
| -rw-r--r-- | dev/doc/syntax.mly (renamed from doc/syntax.mly) | 0 | ||||
| -rw-r--r-- | dev/doc/tactics.dep.ps (renamed from doc/tactics.dep.ps) | 0 | ||||
| -rw-r--r-- | dev/doc/toplevel.dep.ps (renamed from doc/toplevel.dep.ps) | 0 |
22 files changed, 0 insertions, 0 deletions
diff --git a/doc/.cvsignore b/dev/doc/.cvsignore index 4f4a6839e..4f4a6839e 100644 --- a/doc/.cvsignore +++ b/dev/doc/.cvsignore diff --git a/doc/Makefile b/dev/doc/Makefile index a0bef8976..a0bef8976 100644 --- a/doc/Makefile +++ b/dev/doc/Makefile diff --git a/doc/ast.ml b/dev/doc/ast.ml index 2153ef47c..2153ef47c 100644 --- a/doc/ast.ml +++ b/dev/doc/ast.ml diff --git a/doc/check-grammar b/dev/doc/check-grammar index 67da1bc51..67da1bc51 100755 --- a/doc/check-grammar +++ b/dev/doc/check-grammar diff --git a/doc/interp.dep.ps b/dev/doc/interp.dep.ps index b05544812..b05544812 100644 --- a/doc/interp.dep.ps +++ b/dev/doc/interp.dep.ps diff --git a/doc/intro.tex b/dev/doc/intro.tex index 4cec8673f..4cec8673f 100644 --- a/doc/intro.tex +++ b/dev/doc/intro.tex diff --git a/doc/kernel.dep.ps b/dev/doc/kernel.dep.ps index 3c00121e8..3c00121e8 100644 --- a/doc/kernel.dep.ps +++ b/dev/doc/kernel.dep.ps diff --git a/doc/lex.mll b/dev/doc/lex.mll index 617163e7e..617163e7e 100644 --- a/doc/lex.mll +++ b/dev/doc/lex.mll diff --git a/doc/library.dep.ps b/dev/doc/library.dep.ps index 1c68240e7..1c68240e7 100644 --- a/doc/library.dep.ps +++ b/dev/doc/library.dep.ps diff --git a/doc/macros.tex b/dev/doc/macros.tex index 6beacf7b0..6beacf7b0 100644 --- a/doc/macros.tex +++ b/dev/doc/macros.tex diff --git a/doc/memo-v8.tex b/dev/doc/memo-v8.tex index 8d116de26..8d116de26 100644 --- a/doc/memo-v8.tex +++ b/dev/doc/memo-v8.tex diff --git a/doc/minicoq.tex b/dev/doc/minicoq.tex index a34b03a49..a34b03a49 100644 --- a/doc/minicoq.tex +++ b/dev/doc/minicoq.tex diff --git a/doc/newsyntax.tex b/dev/doc/newsyntax.tex index 96e61292f..96e61292f 100644 --- a/doc/newsyntax.tex +++ b/dev/doc/newsyntax.tex diff --git a/doc/parse.ml b/dev/doc/parse.ml index e537b1f2f..e537b1f2f 100644 --- a/doc/parse.ml +++ b/dev/doc/parse.ml diff --git a/doc/parsing.dep.ps b/dev/doc/parsing.dep.ps index 723d8c697..723d8c697 100644 --- a/doc/parsing.dep.ps +++ b/dev/doc/parsing.dep.ps diff --git a/doc/preamble.tex b/dev/doc/preamble.tex index 2cd21f022..2cd21f022 100644 --- a/doc/preamble.tex +++ b/dev/doc/preamble.tex diff --git a/doc/pretyping.dep.ps b/dev/doc/pretyping.dep.ps index 02d1b8b5a..02d1b8b5a 100644 --- a/doc/pretyping.dep.ps +++ b/dev/doc/pretyping.dep.ps diff --git a/doc/proofs.dep.ps b/dev/doc/proofs.dep.ps index 0e78f4226..0e78f4226 100644 --- a/doc/proofs.dep.ps +++ b/dev/doc/proofs.dep.ps diff --git a/doc/syntax-v8.tex b/dev/doc/syntax-v8.tex index 97973df2b..97973df2b 100644 --- a/doc/syntax-v8.tex +++ b/dev/doc/syntax-v8.tex diff --git a/doc/syntax.mly b/dev/doc/syntax.mly index bfc7d5ccf..bfc7d5ccf 100644 --- a/doc/syntax.mly +++ b/dev/doc/syntax.mly diff --git a/doc/tactics.dep.ps b/dev/doc/tactics.dep.ps index f4de22b7e..f4de22b7e 100644 --- a/doc/tactics.dep.ps +++ b/dev/doc/tactics.dep.ps diff --git a/doc/toplevel.dep.ps b/dev/doc/toplevel.dep.ps index e0355aac0..e0355aac0 100644 --- a/doc/toplevel.dep.ps +++ b/dev/doc/toplevel.dep.ps |