/[mojave]/metaprl/doc/misc/UIDesign.html
ViewVC logotype

Diff of /metaprl/doc/misc/UIDesign.html

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3578 by nogin, Tue Apr 16 19:59:37 2002 UTC revision 3579 by nogin, Tue Apr 16 20:09:49 2002 UTC
# Line 1  Line 1 
1  <html><head><title>UI Design Goals and Ideas</title></head>  <html><head><title>UI Design Goals and Ideas</title></head>
2  <body><h1>UI Design Goals and Ideas</h1>  <body><h1>UI Design Goals and Ideas</h1>
3    <p>This document put together by <a
4    href="http://www.cs.cornell.edu/nogin">Aleksey Nogin</a> with input from <a
5    href="http://www.ags.uni-sb.de/~hakim/">Abdel Hakim
6    Freihat</a>, <a href="http://www.ags.uni-sb.de/~adrianf/">Adrian Frischauf</a>, Martin Fuchs, <a
7    href="http://www.mathweb.org/~paul">Paul Libbrecht</a> and <a
8    href="http://www.ags.uni-sb.de/~pollet/">Martin Pollet</a>.
9  <h2>Overview</h2>  <h2>Overview</h2>
10  We want a UI that  We want a UI that
11  <ul><li>Is general enough to allow us to connect it to Omega, MetaPRL, NuPRL  <ul><li>Is general enough to allow us to connect it to Omega, MetaPRL, NuPRL

Legend:
Removed from v.3578  
changed lines
  Added in v.3579

  ViewVC Help
Powered by ViewVC 1.1.26