$Id: readme.txt,v 1.1 2005/10/31 02:15:42 vdmtools Exp $
SSLib -- L쐬VDM++Cu[

t@C̐
	*.vpp		--VDM++̃\[XieLXgt@CŁj

	--ȉ̐ŁANXƋLqVDM++t@ĆACX^XNX`Ă邪A
	--W[ƋLqVDM++t@ĆACX^XA֐^vO~OŎĂB
	Calendar.vpp	--iJ_[jɊւ@\NX
	Character.vpp	--Ɋւ@\W[
	CommonDefinition.vpp		--pʒ`
	Date.vpp		--tɊւ@\NX
	DoubleListQueue.vpp	--Q̗g҂s񃂃W[
	Function.vpp	--֐vO~OɊւ@\W[
	Hashtable.vpp	--nbV\Ɋւ@\W[
	Integer.vpp		--Ɋւ@\W[
	JapaneseCalendar.vpp	--{̗Ɋւ@\ixȂǁjNX
	Map.vpp		--ʑɊւ@\W[
	Object.vpp		--IuWFNgɊւ鋤ʋ@\NX
	Queue.vpp		-- ҂sɊւ@\W[
	Real.vpp		--Ɋւ@\W[
	rtf			-- *.vppt@C琶.rtft@Ci[fBNg[
	SBCalendar.vpp	--،Ќ̗NX
	Sequence.vpp	--iV[PXjɊւ\[g}[WȂǂ̋@\W[
	Set.vpp		--WɊւ@\W[
	sslib.prj		--SSlibpVDM++̃vWFNgt@C
	String.vpp		--Ɋւ@\W[
	Term.vpp		--JnƏITimeԂ\W[
	test			--eXgpt@C̓tH_[
	UniqueSequence.vpp	-- B̔ԍ𔭔Ԃ
	vdm.tc		--eXgJo[W̌ʂĂf[^


P̃eXg̎s@
	O
		VDMTools̃CXg[IĂ邱
		C^[v^Pretty PrinterIvVݒŁAOutput index of definitions and uses  Test coverage coloring `FbNĂ
		R[hJo[W𓾂Ƃ́AVDM++̃\[XiRTFŁjgpB
			iVDM++̃\[XieLXgt@CŁjgpTeXt@C邪ÂƂ낤܂\ۏ؂͂ȂBj
	菇
		test.prjt@C_uNbN
		ÓI^`FbNsȂĂC^[v^ɂs͂ł邪AÓI^`FbN肽΂ Type Checkij[{^j
		C^[v^EBhEŃCjVCY
		C^[v^EBhEňȉ̃R}hsi--ȉ͒߂Ȃ̂ŁAۂɂ̓^CvȂj
			cr a := new AllT()	--eXgpNX̃CX^X쐬w a ɑ
			d a.run()			--IuWFNg a  run fobOs(fobOKvȂ p a.run() Ŏs邱Ƃłj
			tcov write vdm.tc	--R[hJo[W̌ʂt@C vdm.tcɏo
			rtinfo vdm.tc		--R[hJo[WC^[v^ŕ\
		R[hJo[W܂񂾐t@C𓾂Ƃ́AManagerEBhE Pretty Printij[{^j .rtf.rtf ŏIt@CB
			
		