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

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/paths/srcpath.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/paths/srcpath.sml

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

revision 670, Sun Jun 18 13:10:57 2000 UTC revision 671, Mon Jun 19 02:02:32 2000 UTC
# Line 318  Line 318 
318    
319      val descr = encode0 true o unintern      val descr = encode0 true o unintern
320    
321      val osstring_dir = pp2name o #pp o elab_dir      fun osstring_dir d =
322            case pp2name (#pp (elab_dir d)) of
323                "" => P.currentArc
324              | s => s
325    
326      fun osstring' f = let      fun osstring' f = let
327          val oss = osstring f          val oss = osstring f

Legend:
Removed from v.670  
changed lines
  Added in v.671

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