Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/eXene/demos/README
ViewVC logotype

View of /sml/trunk/src/eXene/demos/README

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2 - (download) (annotate)
Sat Oct 4 23:33:09 1997 UTC (21 years, 11 months ago) by monnier
File size: 300 byte(s)
Initial revision
This directory contains some demonstration eXene applications
The applications in this directory are more substantial
than those in the examples directory.  In fact, they are,
in some sense, real applications.

Currently, the only demo is Tim Griffin and Rod Moten's
tactic-based proof tree editor.


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0