/[mojave]/metaprl/support/display/mpsymbols.ml
ViewVC logotype

Log of /metaprl/support/display/mpsymbols.ml

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (download) (annotate)
Sticky Revision:

Revision 9655 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 31 18:16:04 2006 UTC (14 years, 7 months ago) by nogin
File length: 36078 byte(s)
Diff to previous 9367
- In browser mode, use "/foo" relative URLs instead of the
  "https://host:port/foo" ones whenever possible. This is needed in order to
  make it easier to access the MetaPRL session indirectly (e.g. via an ssh
  tunnel).

  Only three places will now use the FQ URL:
   - startup message 
   - autologin file
   - form passed to the external editor

- A few display form fixes and improvements.



Revision 9367 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jun 22 20:02:30 2006 UTC (15 years ago) by kopylov
File length: 35607 byte(s)
Diff to previous 7568
Changed the display form of append

Revision 7568 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 7 06:26:56 2005 UTC (15 years, 11 months ago) by nogin
File length: 35607 byte(s)
Diff to previous 7567
Adding a preminimary implementation of the ILC basics in MetaPRL


Revision 7567 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 7 04:41:32 2005 UTC (15 years, 11 months ago) by nogin
File length: 35607 byte(s)
Diff to previous 7566
Added Mpsymbols!multimap


Revision 7566 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 7 03:15:53 2005 UTC (15 years, 11 months ago) by nogin
File length: 35363 byte(s)
Diff to previous 7563
Added symbols: box, bigcirc.


Revision 7563 - (view) (download) (annotate) - [select for diffs]
Added Thu Jul 7 02:30:10 2005 UTC (15 years, 11 months ago) by nogin
File length: 34898 byte(s)
This is a huge commit that is mostly no-op:

- Updated the standard preamble text to point to the correct location for the
  documentation and to avoid mentioning Nuprl.

- Changed "Nuprl-Light" -> "MetaPRL" in a few places (amazingly, we still had
  those).

- Split the Nuprl_font file into Mpfont and Mpsymbols.

- Protected a few display forms in ITT with a "doc docoff".


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