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

Parent Directory | Revision Log | 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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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