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 /eXene/releases/release-110.82/demos/README
ViewVC logotype

View of /eXene/releases/release-110.82/demos/README

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2098 - (download) (annotate)
Thu Nov 2 15:53:59 2006 UTC (12 years, 8 months ago) by blume
Original Path: eXene/trunk/demos/README
File size: 300 byte(s)
moved eXene to toplevel
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