Index of /~djvelleman/pd/sources

	Name	Last modified	Size	Description
	Parent Directory		-
	AddVariantEdit.java	16-Aug-2016 15:30	736
	AdditionDialog.java	16-Aug-2016 15:30	669
	ArbEIDialog.java	16-Aug-2016 15:30	4.4K
	AtomicTerm.java	16-Aug-2016 15:30	2.1K
	BindingFormula.java	16-Aug-2016 15:30	8.3K
	BindingOperator.java	16-Aug-2016 15:30	266
	BlackLabel.java	16-Aug-2016 15:30	162
	BoldLabel.java	16-Aug-2016 15:30	785
	CasesDialog.java	16-Aug-2016 15:30	753
	CompoundFormula.java	16-Aug-2016 15:30	12K
	DefineDialog.java	16-Aug-2016 15:30	2.1K
	DefineGoal.java	16-Aug-2016 15:30	595
	DeleteGivenEdit.java	16-Aug-2016 15:30	2.2K
	DeleteStepEdit.java	16-Aug-2016 15:30	1.7K
	DeleteVariantSpec.java	16-Aug-2016 15:30	329
	DetailsPane.java	16-Aug-2016 15:30	2.2K
	DialogFocuser.java	16-Aug-2016 15:30	434
	DisjDialog.java	16-Aug-2016 15:30	1.5K
	DoAddition.java	16-Aug-2016 15:30	2.3K
	DoArbEI.java	16-Aug-2016 15:30	3.0K
	DoBiconditional.java	16-Aug-2016 15:30	1.5K
	DoCases.java	16-Aug-2016 15:30	2.9K
	DoConjunction.java	16-Aug-2016 15:30	2.7K
	DoContrad.java	16-Aug-2016 15:30	1.8K
	DoDefine.java	16-Aug-2016 15:30	1.1K
	DoDelete.java	16-Aug-2016 15:30	4.3K
	DoDirContrap.java	16-Aug-2016 15:30	1.6K
	DoDisj.java	16-Aug-2016 15:30	1.7K
	DoDisjSyll.java	16-Aug-2016 15:30	3.7K
	DoExistUI.java	16-Aug-2016 15:30	4.0K
	DoExistUnique.java	16-Aug-2016 15:30	1.6K
	DoExportHTML.java	16-Aug-2016 15:30	1.0K
	DoFinish.java	16-Aug-2016 15:30	2.2K
	DoInsert.java	16-Aug-2016 15:30	1.7K
	DoLemma.java	16-Aug-2016 15:30	1.6K
	DoMPMT.java	16-Aug-2016 15:30	2.2K
	DoReexpress.java	16-Aug-2016 15:30	1.1K
	DoReflexive.java	16-Aug-2016 15:30	2.1K
	DoRejustify.java	16-Aug-2016 15:30	2.0K
	DoRevise.java	16-Aug-2016 15:30	312
	DoSplitUp.java	16-Aug-2016 15:30	1.7K
	DoSubstitute.java	16-Aug-2016 15:30	1.6K
	DoUndo.java	16-Aug-2016 15:30	1.0K
	DotsPane.java	16-Aug-2016 15:30	825
	EntryDlg.java	16-Aug-2016 15:30	5.4K
	ExistUIDialog.java	16-Aug-2016 15:30	5.9K
	FinishEdit.java	16-Aug-2016 15:30	2.9K
	FixedPane.java	16-Aug-2016 15:30	590
	FormWithText.java	16-Aug-2016 15:30	601
	Formula.java	16-Aug-2016 15:30	23K
	FormulaParseException.java	16-Aug-2016 15:30	112
	FrameShower.java	16-Aug-2016 15:30	223
	GGPane.java	16-Aug-2016 15:30	1.7K
	Gap.java	16-Aug-2016 15:30	16K
	GapRecord.java	16-Aug-2016 15:30	1.0K
	Given.java	16-Aug-2016 15:30	271
	Goal.java	16-Aug-2016 15:30	244
	GroupingOperator.java	16-Aug-2016 15:30	223
	IconButton.java	16-Aug-2016 15:30	289
	Inference.java	16-Aug-2016 15:30	3.7K
	InferenceRecord.java	16-Aug-2016 15:30	383
	InsertDialog.java	16-Aug-2016 15:30	4.0K
	InsertEdit.java	16-Aug-2016 15:30	2.1K
	IntroPane.java	16-Aug-2016 15:30	247
	ListPane.java	16-Aug-2016 15:30	927
	MainProof.java	16-Aug-2016 15:30	701
	MathDefaultKeyAction.java	16-Aug-2016 15:30	972
	MathField.java	16-Aug-2016 15:30	694
	MathFieldUI.java	16-Aug-2016 15:30	313
	MathIcon.java	16-Aug-2016 15:30	762
	MathLabel.java	16-Aug-2016 15:30	969
	MathMenuItem.java	16-Aug-2016 15:30	179
	MathMenuItemUI.java	16-Aug-2016 15:30	1.1K
	MathMessage.java	16-Aug-2016 15:30	1.3K
	MathMetrics.java	16-Aug-2016 15:30	3.3K
	MathText.java	16-Aug-2016 15:30	6.8K
	MathTextComponent.java	16-Aug-2016 15:30	542
	MathTypeAction.java	16-Aug-2016 15:30	521
	MathView.java	16-Aug-2016 15:30	1.2K
	MenuAction.java	16-Aug-2016 15:30	889
	MultiCompoundFormula.java	16-Aug-2016 15:30	9.2K
	NoFocusRadioButton.java	16-Aug-2016 15:30	193
	OneFormulaDialog.java	16-Aug-2016 15:30	1.0K
	OneLinePane.java	16-Aug-2016 15:30	694
	Operator.java	16-Aug-2016 15:30	405
	PComponent.java	16-Aug-2016 15:30	958
	PDBorder.java	16-Aug-2016 15:30	1.2K
	PDBoxLayout.java	16-Aug-2016 15:30	968
	PDialog.java	16-Aug-2016 15:30	2.1K
	ParsePos.java	16-Aug-2016 15:30	1.1K
	Proof.java	16-Aug-2016 15:30	4.8K
	ProofDesigner.java	16-Aug-2016 15:30	1.7K
	ProofEdit.java	16-Aug-2016 15:30	814
	ProofFrame.java	16-Aug-2016 15:30	10K
	ProofPart.java	16-Aug-2016 15:30	3.8K
	ProofPartRecord.java	16-Aug-2016 15:30	61
	ProofRecord.java	16-Aug-2016 15:30	382
	ProofStep.java	16-Aug-2016 15:30	2.5K
	ReexSubDialog.java	16-Aug-2016 15:30	8.6K
	RefDialog.java	16-Aug-2016 15:30	729
	ReplaceSpec.java	16-Aug-2016 15:30	435
	ResizableMetalTheme.java	16-Aug-2016 15:30	1.2K
	SelectFormField.java	16-Aug-2016 15:30	694
	SelectFormFieldCaret.java	16-Aug-2016 15:30	1.8K
	SelectFormFieldUI.java	16-Aug-2016 15:30	282
	Statement.java	16-Aug-2016 15:30	2.6K
	StatementPane.java	16-Aug-2016 15:30	1.5K
	StepsPane.java	16-Aug-2016 15:30	547
	StmntPaneRecord.java	16-Aug-2016 15:30	529
	SubFormSpec.java	16-Aug-2016 15:30	927
	SubProof.java	16-Aug-2016 15:30	1.5K
	SubstituteMenuItem.java	16-Aug-2016 15:30	419
	SymbolData.java	16-Aug-2016 15:30	310
	TextPane.java	16-Aug-2016 15:30	3.5K
	TheoremPane.java	16-Aug-2016 15:30	970
	VarDialog.java	16-Aug-2016 15:30	1.4K
	VarSet.java	16-Aug-2016 15:30	1.6K
	Variable.java	16-Aug-2016 15:30	3.2K
	VariantPane.java	16-Aug-2016 15:30	1.4K
	VerticalPane.java	16-Aug-2016 15:30	1.3K
	WhitePane.java	16-Aug-2016 15:30	2.7K