Filewatcher File Search File Search
Catalog
Content Search
» » » »

prover9-manual_0.0.200902a.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:prover9-manual_0.0.200902a.orig.tar.gz

/prover9-manual-2009-02A/README.run

1. Update the content of the manual.  Check against

   /home/mccune/LADR/Changelog

2. Run all of the example jobs for the manual and
check against the old versions

  % ./run-and-check /home/mccune/bin
  % less checked-jobs/*.diffs
  % /bin/rm checked-jobs/*

3. Update the version number of the manual:

   % emacs sed.version
   % rewrite-files sed.version *.html
   % /bin/rm *.bak
   



/prover9-manual-2009-02A/README.util

util/options-make > temp

  This extracts all of the options from the various html files
  and sends them to stdout.  These should be placed in the
  file options.html.

  It also installs links back to the option defs.

  It also creates a file sed.option-refs that can be used to
  create links to the option defs wherever the option name
  is enclosed in <tt></tt>.

    rewrite-files sed.option-r
more»

/prover9-manual-2009-02A/references/README

1.  Put correct citations in 
        books.tex
        journal.tex
        drafts.tex
        reports.tex

1.  ./prepare-refs  (don't worry about LaTeX "undefinded reference" messages)

2.  latex vita.tex
    dvips vita
    pdflatex vita

-----------------  To install in FTP area:

./install-web        (This copies .ps and .pdf files to webspace

-----------------  To create html version of publi
more»

/prover9-manual-2009-02A/TODO

1. If lex command, assign(eq_defs, ...) is ignored.

2. The user might think that assign(max_proofs,
more»

Browse inside prover9-manual_0.0.200902a.orig.tar.gz

         [DIR]prover9-manual-2009-02A/ (198)

Download prover9-manual_0.0.200902a.orig.tar.gz

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com