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 651 - (download) (annotate)
Thu Jun 1 18:34:03 2000 UTC (21 years, 4 months ago) by monnier
File size: 300 byte(s)
bring revisions from the vendor branch to the trunk
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.

ViewVC Help
Powered by ViewVC 1.0.0