/[mojave]/metaprl/doc/Makefile
ViewVC logotype

Log of /metaprl/doc/Makefile

Parent Directory Parent Directory | Revision Log Revision Log


Sticky Revision:
(Current path doesn't exist after revision 6019)

Revision 3582 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 24 23:51:09 2002 UTC (19 years, 2 months ago) by nogin
File length: 2959 byte(s)
Diff to previous 3088
Added "make latex" target.


Revision 3088 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 10 20:23:06 2000 UTC (20 years, 7 months ago) by nogin
File length: 2792 byte(s)
Diff to previous 3068
Small fixes.


Revision 3068 - (view) (download) (annotate) - [select for diffs]
Modified Thu Sep 21 21:18:56 2000 UTC (20 years, 9 months ago) by nogin
File length: 2802 byte(s)
Diff to previous 3002
- Added ~ and sqeq to parser. For now, they produce Perv!"rewrite" terms,
but once the new rewriting mechanisms are implemented, we'll be able to
change them to produce "sqeq" opname in "local" theory. I also changed all
ITT conditional rewrites from Perv!"rewrite" to ~.

- "make clean" now cleans all the new stuff Jason added to doc/{ps,latex}


Revision 3002 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jun 3 00:18:37 2000 UTC (21 years ago) by nogin
File length: 2730 byte(s)
Diff to previous 2994
Wrote a section on MetaPRL exception-handling conventions.


Revision 2994 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 30 03:55:15 2000 UTC (21 years ago) by nogin
File length: 2717 byte(s)
Diff to previous 2935
I wrote several sections of MetaPRL Developer Guide.

Please take a look at it at
http://ensemble01.cs.cornell.edu:12000/cvsweb/~checkout~/meta-prl/doc/htmlman/default.html


Revision 2935 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 15 22:26:32 2000 UTC (21 years, 2 months ago) by nogin
File length: 2307 byte(s)
Diff to previous 2871
Added more files to "make clean".


Revision 2871 - (view) (download) (annotate) - [select for diffs]
Modified Thu Dec 30 00:16:45 1999 UTC (21 years, 5 months ago) by nogin
File length: 2286 byte(s)
Diff to previous 2847
Use htmldoc >= 1.8.3


Revision 2847 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 11 21:00:33 1999 UTC (21 years, 7 months ago) by nogin
File length: 2286 byte(s)
Diff to previous 2838
- Edited the autoT section a little
- Added an empty section on dT
- Added some problems with missing or outdated documentation to BUGS
- Added references to tactic descriptions to User Guide.


Revision 2838 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 2 01:50:29 1999 UTC (21 years, 7 months ago) by nogin
File length: 2270 byte(s)
Diff to previous 2830
Moved the complete listing of the MetaPRL font from MetaPRL System Description
to MetaPRL User Guide and added the necessary links.


Revision 2830 - (view) (download) (annotate) - [select for diffs]
Modified Wed Oct 27 05:41:35 1999 UTC (21 years, 7 months ago) by nogin
File length: 2260 byte(s)
Diff to previous 2826
More fixes

I have finished proof-reading the introduction and the user's guide and
I still have tutorial and system description left.


Revision 2826 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 26 20:47:53 1999 UTC (21 years, 7 months ago) by nogin
File length: 2260 byte(s)
Diff to previous 2825
- Added documentation on how to convert documentation .PS and .PDF formats.

- Removed mp-frame.html - as far as I can see, it is just an outdated
version of mp.html

- Added more HTML files to system.{ps,pdf}


Revision 2825 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 26 02:44:44 1999 UTC (21 years, 8 months ago) by nogin
File length: 2146 byte(s)
Diff to previous 2824
- Added a Makefile target "check" that checks HTML syntax
using weblint utility ( http://www.weblint.org/ )

- Fixed most of the HTML problems reported by weblint utility
This reduced the number of weblint warnings from over 8000 to 19
(All 19 are
   unknown attribute "..." for element <FRAMESET>
where ... is either FRAMEBORDER, BORDER or FRAMESPACING)

- Added system.{ps,pdf} (MetaPRL System Description)
to the list of generated documentation files

- Some htmldoc-related fixes

- Removed the references to "load" command since
in the current version of MetaPRL "cd" command loads
the module if necessary.

- Removed some unused test files


Revision 2824 - (view) (download) (annotate) - [select for diffs]
Added Mon Oct 25 21:45:17 1999 UTC (21 years, 8 months ago) by nogin
File length: 1418 byte(s)
I created a Makefile that allows converting MetaPRL documentatoion into
PS and PDF format using HTMLDOC utility.

Curenntly three pairs of (.PS,.PDF) files are being created:
introduction - introduction to MetaPRL, installing MetaPRl, etc
user-guide - User Guide
tutorial - MetaPRL Tutorial

I had to modify html files slightly (mostly - H1-H6 tags) to help HTMLDOC
better understand the structure.


This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.26