Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

goodness. That left all the docs and examples out

darcs-hash:20080312034728-f7719-6f775f7dc2474d7da5ef8c70354cc6d839d9948a.gz
  • Loading branch information...
commit 16c632166c63e304153a27d1e87c22b1ae77efdb 1 parent 82c30e6
@gwern gwern authored
Showing with 26 additions and 2 deletions.
  1. +26 −2 ivor.cabal
View
28 ivor.cabal
@@ -34,7 +34,31 @@ Description: Ivor is a type theory based theorem prover, with a
want your proofs to be untrustworthy) a fixpoint
combinator.
-Build-depends: base, parsec, mtl, plugins, directory
+Data-files: BUGS, INSTALL, TODO, docs/macros.ltx, docs/local.ltx, docs/tt.tex, docs/conclusion.tex,
+ docs/intro.tex, docs/hcar.sty, docs/tactics.tex, docs/library.ltx,
+ docs/shell.tex, docs/dtp.bib, docs/HCAR.tex, docs/Makefile,
+ docs/combinators.tex, docs/humett.tex, docs/interface.tex,
+ papers/tutorial/tutorial.tex, papers/tutorial/macros.ltx, papers/tutorial/theoremproving.tex,
+ papers/tutorial/introduction.tex, papers/tutorial/hslibrary.tex, papers/tutorial/library.ltx,
+ papers/tutorial/programming.tex, papers/tutorial/Makefile, papers/bib/literature.bib,
+ papers/ivor/examples.tex, papers/ivor/code.tex, papers/ivor/macros.ltx,
+ papers/ivor/ivor.tex, papers/ivor/corett.tex, papers/ivor/conclusions.tex,
+ papers/ivor/intro.tex, papers/ivor/llncs.cls, papers/ivor/tactics.tex,
+ papers/ivor/library.ltx, papers/ivor/dtp.bib, papers/ivor/alink.bib,
+ papers/ivor/Makefile, papers/ivor/embounded.bib
+
+Extra-source-files: emacs/ivor-mode.el, examplett/staged.tt, examplett/test.c, examplett/partial.tt, examplett/nat.tt,
+ examplett/vec.tt, examplett/lt.tt, examplett/Test.hs, examplett/plus.tt,
+ examplett/jmeq.tt, examplett/eq.tt, examplett/logic.tt, examplett/interp.tt,
+ examplett/stageplus.tt, examplett/Nat.hs, examplett/general.tt, examplett/natsimpl.tt,
+ examplett/test.tt, examplett/vect.tt, examplett/fin.tt, examplett/ack.tt,
+ IOvor/IOPrims.lhs, IOvor/Main.lhs, IOvor/iobasics.tt, Jones/Main.lhs,
+ lib/nat.tt, lib/lt.tt, lib/list.tt, lib/eq.tt,
+ lib/basics.tt, lib/logic.tt, lib/vect.tt, lib/fin.tt
+
+
+
+Build-depends: base, parsec, mtl, plugins, directory
Build-type: Simple
Extensions: MultiParamTypeClasses, FunctionalDependencies,
@@ -53,5 +77,5 @@ Other-modules: Ivor.Nobby, Ivor.TTCore, Ivor.State,
Ivor.ICompile, Ivor.MakeData, Ivor.Unify,
Ivor.Grouper, Ivor.ShellParser, Ivor.Constant,
Ivor.RunTT, Ivor.Compiler, Ivor.Prefix,
- Ivor.PatternDefs, Ivor.ShellState, Ivor.Scopecheck
+ Ivor.PatternDefs, Ivor.ShellState
Please sign in to comment.
Something went wrong with that request. Please try again.