pf2html-开源

  • R2_570219
    了解作者
  • 17.4KB
    文件大小
  • tgz
    文件格式
  • 0
    收藏次数
  • VIP专享
    资源类型
  • 0
    下载次数
  • 2022-06-11 08:08
    上传日期
pf2html项目为LATEX2HTML添加了功能,以便可以在Web浏览器中查看以pf.sty编写的LATEX文档,直至结构化证明的每个分支所需的详细程度。
pf2html_013_20070207.tgz
  • pf2html_013_20070207
  • pf.pm
    18.1KB
  • history.txt
    1.4KB
  • dot.latex2html-init.sample
    67B
  • pf.perl
    3.3KB
  • install.sh
    5KB
  • copying.txt
    17.9KB
  • faq.txt
    1.6KB
  • install.txt
    1.5KB
  • todo.txt
    1.8KB
  • readme.txt
    3.8KB
  • pf.config
    7.3KB
内容介绍
# # readme.txt # # Version 0.13 # 2007-02-07 # # Project: # # pf2html # LaTeX2HTML + pf.sty (hypertext proofs) # # Project Homepage at: # # http://pf2html.sourceforge.net/ # ############################################################################ # # by: # # Wolfgang Slany # Martina Osztovits # Gabriele Glowacki # Martin Glowacki # # Vienna University of Technology, # Computer Science Department, # Institute of Information Systems, # Database and Artificial Intelligence Group # # http://www.dbai.tuwien.ac.at/ # # If there are any problems or questions, please send them to: # # Wolfgang SLANY # http://slany.org/wolfgang/ # ############################################################################ pf2html LaTeX2HTML + pf.sty (hypertext proofs) A LATEX2HTML extension for pf.sty allowing hypertext style proofs Leslie Lamport wrote an article on "How to Write a Proof" back in 1993. In it, he described the LATEX style pf.sty for writing structured proofs. This style makes it much harder to prove things that are not true. The pf2html project adds functionality to LATEX2HTML such that LATEX documents written with pf.sty can be viewed in a web browser up to the desired level of detail for each branch of a structured proof. Files ----- copying.txt .............. GNU General Public License history.txt .............. a little history info faq.txt .................. some frequently ask questions pf.perl .................. perl interface pf.pm .................... perl module pf.config ................ configuration file readme.txt ............... general informations about the project todo.txt ................. a little todo list install.sh ............... a simple installation shell script install.txt .............. installation information latex2html-init.sample ... a sample latex2html config file Authors and Contacts -------------------- Wolfgang Slany Martina Osztovits Gabriele Glowacki Martin Glowacki Vienna University of Technology, Computer Science Department, Institute of Information Systems, Database and Artificial Intelligence Group http://www.dbai.tuwien.ac.at/ If there are any problems or questions, please send them to: Wolfgang SLANY http://slany.org/wolfgang/ LaTeX2HTML ---------- We developed and tested the current version of pf2html with LATEX2HTML 2002-2-1 (1.70). It should work fine with all newer versions. Web Browsers ------------ JavaScript and the Document Object Model are supported badly by most of older web browsers. Only with the newest versions of some web browsers it is possible to build the functionality we need in a simple way. Maybe we will create a version for older browsers in the future. For the moment we support following web browsers: - Microsoft Internet Explorer 5.5 and 6.0 - Mozilla 0.9.3 and above - Netscape 6.1 and above - Firefox 1.x and 2.x - Konqueror 3.4 and above Newer versions of these web browsers should also work fine. Installation ------------ Look at install.txt Configuration ------------- The behaviour and appearance of the html pages created by pf2html can be fully modified with the pf2html config file pf.config. If you have installed pf2html as root, the default configuration is at the latex2html location. If there is a pf2html configuration file at your working directory, it will be used by the latex2html creation process. Further information ------------------- To use pf2html you also need the pf style created by Leslie Lamport. You can find this LaTeX style at: http://research.microsoft.com/users/lamport/latex/pf.sty Copy this file to your working directory. Sample Proofs ------------- For some sample proofs have a look at the pf2html sourceforge project website at http://pf2html.sourceforge.net/ # EOF
评论