Diff of /sml/trunk/src/cm/main/cm-boot.sml

Parent Directory | Revision Log | Patch

	revision 403, Tue Aug 31 07:44:29 1999 UTC	revision 404, Wed Sep 1 07:03:22 1999 UTC
#	Line 210	Line 210
210	| SOME (g, gp) => f gp g	| SOME (g, gp) => f gp g
211	end	end
212
213		val listLibs = Parse.listLibs
214		fun dismissLib l = let
215		val c = SrcPath.cwdContext ()
216		val p = SrcPath.standard pcmode { context = c, spec = l }
217		in
218		Parse.dismissLib p
219		end
220
221	fun stabilize_runner gp g = true	fun stabilize_runner gp g = true
222
223	fun stabilize recursively = run (SOME recursively) stabilize_runner	fun stabilize recursively = run (SOME recursively) stabilize_runner
#	Line 359	Line 367
367	cancelAnchor = cancelAnchor,	cancelAnchor = cancelAnchor,
368	resetPathConfig = resetPathConfig,	resetPathConfig = resetPathConfig,
369	synchronize = SrcPath.sync,	synchronize = SrcPath.sync,
370	showPending = showPending })	showPending = showPending,
371		listLibs = listLibs,
372		dismissLib = dismissLib })
373
374	end	end
375	end	end

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.403   changed lines   Added in v.404

---

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