dedukti 1.0.2 → 1.0.3

raw patch · 2 files changed

+10/−8 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• dedukti.cabal +2/−2
• doc/manual.texi.in +8/−6

@@ -1,5 +1,5 @@ name:           dedukti-version:        1.0.2+version:        1.0.3 author:         Mathieu Boespflug maintainer:     Mathieu Boespflug <mboes@lix.polytechnique.fr> copyright:      © 2009 CNRS - École Polytechnique - INRIA@@ -30,11 +30,11 @@                 t/nat.dk                 t/peano.dk                 t/plus.dk+                scripts/dkrun extra-source-files:   doc/mkfile                       doc/manual.texi.in                       doc/fdl.texi                       doc/references.texi-		      scripts/dkrun   executable dedukti

@@ -457,12 +457,14 @@ @node Invoking dkrun @chapter Invoking @command{dkrun} -@command{dkrun} is a wrapper script that invokes @command{ghci} with the-appropriate flags on the Haskell source files (@file{.dko} files) given-as arguments. If object files exist for the given @file{.dko} files,-then these are loaded into memory and linked by the @command{ghci}-linker. Otherwise the files are compiled to slower, interpreted bytecode-by @command{ghci}.+@command{dkrun} is a wrapper script@footnote{It can be found in the+source distribution of dedukti or under the data directory of Cabal.+Copy it somewhere in your path for convenience.} that invokes+@command{ghci} with the appropriate flags on the Haskell source files+(@file{.dko} files) given as arguments. If object files exist for the+given @file{.dko} files, then these are loaded into memory and linked by+the @command{ghci} linker. Otherwise the files are compiled to slower,+interpreted bytecode by @command{ghci}.  The first argument to @command{dkrun} is the @file{.dko} file corresponding to the module one wants to proof check. If a module has