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

SCM Repository

[smlnj] Revision 2486
ViewVC logotype

Revision 2486


Jump to revision: Previous Next
Author: gkuan
Date: Thu May 3 20:03:06 2007 UTC (12 years, 2 months ago)
Log Message:
added Twelf nonstrict type operator sigmatch test

Changed paths:

Path Details
Directorytests/trunk/modules/outputs.post-110.61/309.out added
Directorytests/trunk/modules/tests/309.sml added

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