From b54050a19983cc041d3396a4c5c8364ab0c8cf6e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 3 Mar 2006 17:12:02 +0000 Subject: [PATCH] PRISM trunk layout rearrangement. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- .java_dir.txt => prism/.java_dir.txt | 0 .ostype.txt => prism/.ostype.txt | 0 CHANGELOG.txt => prism/CHANGELOG.txt | 0 COPYING.txt => prism/COPYING.txt | 0 Makefile => prism/Makefile | 0 NOTES => prism/NOTES | 0 README.txt => prism/README.txt | 0 VERSIONS.txt => prism/VERSIONS.txt | 0 {bin => prism/bin}/prism | 0 {bin => prism/bin}/prism.bat | 0 {bin => prism/bin}/xprism | 0 {bin => prism/bin}/xprism.bat | 0 .../classes}/config/currentOptions.xml | 0 {classes => prism/classes}/dtds/chartformat.dtd | 0 {classes => prism/classes}/dtds/gmo.dtd | 0 {classes => prism/classes}/dtds/options.dtd | 0 {classes => prism/classes}/dtds/prismnetwork.dtd | 0 {classes => prism/classes}/images/barGraph.gif | Bin {classes => prism/classes}/images/drawState.gif | Bin {classes => prism/classes}/images/drawTrans.gif | Bin {classes => prism/classes}/images/genhtml.sh | 0 {classes => prism/classes}/images/greenGrid.gif | Bin {classes => prism/classes}/images/gridSnap.gif | Bin {classes => prism/classes}/images/gridSnapOff.gif | Bin {classes => prism/classes}/images/gridSnapOn.gif | Bin {classes => prism/classes}/images/index.html | 0 {classes => prism/classes}/images/lineGraph.gif | Bin {classes => prism/classes}/images/longLabel.gif | Bin {classes => prism/classes}/images/mouse.gif | Bin {classes => prism/classes}/images/mouseAndMove.gif | Bin .../classes}/images/mouseAndTransition.gif | Bin {classes => prism/classes}/images/mouseCross.gif | Bin .../classes}/images/mouseCrossZoom.gif | Bin {classes => prism/classes}/images/mouseQuestion.gif | Bin {classes => prism/classes}/images/mouseZoom.gif | Bin {classes => prism/classes}/images/normLabel.gif | Bin .../classes}/images/notused/smallBlank.gif | Bin .../classes}/images/notused/smallCross.old.gif | Bin .../classes}/images/notused/smallError.old.gif | Bin .../classes}/images/notused/smallError.other.gif | Bin .../classes}/images/notused/smallFind.gif | Bin .../classes}/images/notused/smallHistory.gif | Bin .../classes}/images/notused/smallPlay.gif | Bin .../classes}/images/notused/smallPrint.gif | Bin .../classes}/images/notused/smallProperties.gif | Bin .../classes}/images/notused/smallQuestion.old.gif | Bin .../classes}/images/notused/smallRefresh.gif | Bin .../classes}/images/notused/smallReset.gif | Bin .../classes}/images/notused/smallStep.gif | Bin .../classes}/images/notused/smallStop.gif | Bin .../classes}/images/notused/smallTick.old.gif | Bin .../classes}/images/notused/smallVerifySelected.gif | Bin .../images/notused/smallWarningTriangle.old.gif | Bin .../classes}/images/notused/smallZoom.gif | Bin {classes => prism/classes}/images/probTrans.gif | Bin {classes => prism/classes}/images/redGrid.gif | Bin {classes => prism/classes}/images/select.gif | Bin {classes => prism/classes}/images/smallAdd.gif | Bin .../classes}/images/smallAddChoice.gif | Bin {classes => prism/classes}/images/smallAddNail.gif | Bin {classes => prism/classes}/images/smallAddState.gif | Bin .../classes}/images/smallAddTransition.gif | Bin .../classes}/images/smallAutomaticUpdate.gif | Bin {classes => prism/classes}/images/smallBack.gif | Bin .../classes}/images/smallBacktrack.gif | Bin {classes => prism/classes}/images/smallBool.gif | Bin {classes => prism/classes}/images/smallBuild.gif | Bin {classes => prism/classes}/images/smallBuilt.gif | Bin {classes => prism/classes}/images/smallCascade.gif | Bin .../classes}/images/smallClearPath.gif | Bin .../classes}/images/smallClockAnim1.gif | Bin .../classes}/images/smallClockAnim2.gif | Bin .../classes}/images/smallClockAnim3.gif | Bin .../classes}/images/smallClockAnim4.gif | Bin .../classes}/images/smallClockAnim5.gif | Bin .../classes}/images/smallClockAnim6.gif | Bin .../classes}/images/smallClockAnim7.gif | Bin .../classes}/images/smallClockAnim8.gif | Bin {classes => prism/classes}/images/smallCompute.gif | Bin {classes => prism/classes}/images/smallCopy.gif | Bin .../classes}/images/smallCrocClosed.gif | Bin {classes => prism/classes}/images/smallCrocOpen.gif | Bin {classes => prism/classes}/images/smallCross.gif | Bin {classes => prism/classes}/images/smallCut.gif | Bin {classes => prism/classes}/images/smallDelete.gif | Bin {classes => prism/classes}/images/smallDetails.gif | Bin {classes => prism/classes}/images/smallDock.gif | Bin {classes => prism/classes}/images/smallDocking.gif | Bin {classes => prism/classes}/images/smallDot.gif | Bin {classes => prism/classes}/images/smallDown.gif | Bin {classes => prism/classes}/images/smallEdit.gif | Bin {classes => prism/classes}/images/smallError.gif | Bin {classes => prism/classes}/images/smallExit.gif | Bin {classes => prism/classes}/images/smallExport.gif | Bin .../classes}/images/smallExpression.gif | Bin {classes => prism/classes}/images/smallForward.gif | Bin {classes => prism/classes}/images/smallGlobal.gif | Bin {classes => prism/classes}/images/smallHalt.gif | Bin {classes => prism/classes}/images/smallHost.gif | Bin {classes => prism/classes}/images/smallImport.gif | Bin .../classes}/images/smallItemSelected.gif | Bin {classes => prism/classes}/images/smallLayout.gif | Bin .../classes}/images/smallLineGraph.gif | Bin .../classes}/images/smallManualUpdate.gif | Bin {classes => prism/classes}/images/smallMatlab.gif | Bin {classes => prism/classes}/images/smallModule.gif | Bin {classes => prism/classes}/images/smallNetwork.gif | Bin {classes => prism/classes}/images/smallNew.gif | Bin .../classes}/images/smallNewGraphic.gif | Bin .../classes}/images/smallNewModule.gif | Bin {classes => prism/classes}/images/smallNewPEPA.gif | Bin {classes => prism/classes}/images/smallNewPath.gif | Bin {classes => prism/classes}/images/smallNewText.gif | Bin {classes => prism/classes}/images/smallNumbers.gif | Bin {classes => prism/classes}/images/smallOpen.gif | Bin {classes => prism/classes}/images/smallOptions.gif | Bin {classes => prism/classes}/images/smallParse.gif | Bin {classes => prism/classes}/images/smallParsed.gif | Bin {classes => prism/classes}/images/smallPaste.gif | Bin .../classes}/images/smallPlainText.gif | Bin {classes => prism/classes}/images/smallPrint.gif | Bin {classes => prism/classes}/images/smallPrism.gif | Bin {classes => prism/classes}/images/smallQuestion.gif | Bin {classes => prism/classes}/images/smallReload.gif | Bin .../classes}/images/smallRemovePreceding.gif | Bin .../classes}/images/smallResetPath.gif | Bin {classes => prism/classes}/images/smallSave.gif | Bin {classes => prism/classes}/images/smallSaveAs.gif | Bin {classes => prism/classes}/images/smallScales.gif | Bin .../classes}/images/smallSelectAll.gif | Bin {classes => prism/classes}/images/smallServer.gif | Bin {classes => prism/classes}/images/smallSimulate.gif | Bin {classes => prism/classes}/images/smallSortX.gif | Bin {classes => prism/classes}/images/smallSortY.gif | Bin {classes => prism/classes}/images/smallStates.gif | Bin {classes => prism/classes}/images/smallString.gif | Bin {classes => prism/classes}/images/smallTick.gif | Bin {classes => prism/classes}/images/smallTile.gif | Bin {classes => prism/classes}/images/smallUndock.gif | Bin {classes => prism/classes}/images/smallUp.gif | Bin {classes => prism/classes}/images/smallVariable.gif | Bin {classes => prism/classes}/images/smallVerify.gif | Bin .../classes}/images/smallVerifyAll.gif | Bin {classes => prism/classes}/images/smallView.gif | Bin .../classes}/images/smallViewParse.gif | Bin .../classes}/images/smallViewStates.gif | Bin .../classes}/images/smallWarningTriangle.gif | Bin {classes => prism/classes}/images/smallZoom.gif | Bin {classes => prism/classes}/images/smallZoomIn.gif | Bin {classes => prism/classes}/images/smallZoomOut.gif | Bin {classes => prism/classes}/images/splash-old.gif | Bin {classes => prism/classes}/images/splash.gif | Bin cudd => prism/cudd | 0 {etc => prism/etc}/p16.gif | Bin {etc => prism/etc}/p16.ico | Bin {etc => prism/etc}/p32.gif | Bin {etc => prism/etc}/p32.ico | Bin {etc => prism/etc}/p64.gif | Bin {etc => prism/etc}/p64.ico | Bin {etc => prism/etc}/prism-2.1.dev.pats | 0 {etc => prism/etc}/prism.css | 0 {etc => prism/etc}/prism.tex | 0 examples => prism/examples | 0 {include => prism/include}/DoubleVector.h | 0 {include => prism/include}/JDD.h | 0 {include => prism/include}/JDDNode.h | 0 {include => prism/include}/JDDVars.h | 0 {include => prism/include}/ODDUtils.h | 0 {include => prism/include}/PrismHybrid.h | 0 {include => prism/include}/PrismHybridGlob.h | 0 {include => prism/include}/PrismMTBDD.h | 0 {include => prism/include}/PrismMTBDDGlob.h | 0 {include => prism/include}/PrismSparse.h | 0 {include => prism/include}/PrismSparseGlob.h | 0 {include => prism/include}/PrismUtils.h | 0 {include => prism/include}/SimulatorEngine.h | 0 {include => prism/include}/dd.h | 0 {include => prism/include}/dd_abstr.h | 0 {include => prism/include}/dd_basics.h | 0 {include => prism/include}/dd_cudd.h | 0 {include => prism/include}/dd_export.h | 0 {include => prism/include}/dd_info.h | 0 {include => prism/include}/dd_matrix.h | 0 {include => prism/include}/dd_term.h | 0 {include => prism/include}/dd_vars.h | 0 {include => prism/include}/dv.h | 0 {include => prism/include}/foxglynn.h | 0 {include => prism/include}/hybrid.h | 0 {include => prism/include}/odd.h | 0 {include => prism/include}/simengine.h | 0 {include => prism/include}/simexpression.h | 0 {include => prism/include}/simformulae.h | 0 {include => prism/include}/simiohandler.h | 0 {include => prism/include}/simlog.h | 0 {include => prism/include}/simmodel.h | 0 {include => prism/include}/simpath.h | 0 {include => prism/include}/simpctl.h | 0 {include => prism/include}/simrandom.h | 0 {include => prism/include}/simreasoning.h | 0 {include => prism/include}/simsampling.h | 0 {include => prism/include}/simstate.h | 0 {include => prism/include}/simupdater.h | 0 {include => prism/include}/simutil.h | 0 {include => prism/include}/sparse.h | 0 install.sh => prism/install.sh | 0 {lib => prism/lib}/pepa.zip | Bin {src => prism/src}/apmc/Apmc.java | 0 {src => prism/src}/apmc/ApmcException.java | 0 {src => prism/src}/apmc/Makefile | 0 {src => prism/src}/chart/ChartColorChooser.java | 0 {src => prism/src}/chart/ChartObject.java | 0 {src => prism/src}/chart/FourBorders.java | 0 {src => prism/src}/chart/GraphList.java | 0 {src => prism/src}/chart/GraphListEditor.java | 0 {src => prism/src}/chart/GraphOptionsPanel.form | 0 {src => prism/src}/chart/GraphOptionsPanel.java | 0 {src => prism/src}/chart/GraphPoint.java | 0 {src => prism/src}/chart/HorizontalGraphBorder.java | 0 {src => prism/src}/chart/Makefile | 0 {src => prism/src}/chart/MultiGraphModel.java | 0 {src => prism/src}/chart/MultiGraphOptions.java | 0 {src => prism/src}/chart/MultiGraphView.java | 0 {src => prism/src}/chart/NegativeTest.java | 0 .../src}/chart/PrismColorChooserPanel.java | 0 {src => prism/src}/chart/PrismFileFilter.java | 0 {src => prism/src}/chart/Resizer.java | 0 {src => prism/src}/chart/SeriesDataEditor.java | 0 {src => prism/src}/chart/SeriesDataRenderer.java | 0 {src => prism/src}/chart/SeriesDataSetting.java | 0 {src => prism/src}/chart/SeriesList.java | 0 {src => prism/src}/chart/VerticalGraphBorder.java | 0 {src => prism/src}/dd/Makefile | 0 {src => prism/src}/dd/dd.cc | 0 {src => prism/src}/dd/dd_abstr.cc | 0 {src => prism/src}/dd/dd_basics.cc | 0 {src => prism/src}/dd/dd_cudd.cc | 0 {src => prism/src}/dd/dd_export.cc | 0 {src => prism/src}/dd/dd_info.cc | 0 {src => prism/src}/dd/dd_matrix.cc | 0 {src => prism/src}/dd/dd_term.cc | 0 {src => prism/src}/dd/dd_test.cc | 0 {src => prism/src}/dd/dd_vars.cc | 0 {src => prism/src}/dv/DoubleVector.cc | 0 {src => prism/src}/dv/DoubleVector.java | 0 {src => prism/src}/dv/Makefile | 0 {src => prism/src}/dv/dv.cc | 0 {src => prism/src}/hybrid/Makefile | 0 {src => prism/src}/hybrid/PH_JOR.cc | 0 {src => prism/src}/hybrid/PH_NondetBoundedUntil.cc | 0 {src => prism/src}/hybrid/PH_NondetReachReward.cc | 0 {src => prism/src}/hybrid/PH_NondetUntil.cc | 0 {src => prism/src}/hybrid/PH_PSOR.cc | 0 {src => prism/src}/hybrid/PH_Power.cc | 0 {src => prism/src}/hybrid/PH_ProbBoundedUntil.cc | 0 {src => prism/src}/hybrid/PH_ProbReachReward.cc | 0 {src => prism/src}/hybrid/PH_ProbUntil.cc | 0 {src => prism/src}/hybrid/PH_SOR.cc | 0 {src => prism/src}/hybrid/PH_StochBoundedUntil.cc | 0 {src => prism/src}/hybrid/PH_StochCumulReward.cc | 0 {src => prism/src}/hybrid/PH_StochSteadyState.cc | 0 {src => prism/src}/hybrid/PH_StochTransient.cc | 0 {src => prism/src}/hybrid/PrismHybrid.cc | 0 {src => prism/src}/hybrid/PrismHybrid.java | 0 {src => prism/src}/hybrid/hybrid.cc | 0 {src => prism/src}/jdd/JDD.cc | 0 {src => prism/src}/jdd/JDD.java | 0 {src => prism/src}/jdd/JDDNode.java | 0 {src => prism/src}/jdd/JDDTest.java | 0 {src => prism/src}/jdd/JDDVars.java | 0 {src => prism/src}/jdd/JDDVectorConsumer.java | 0 {src => prism/src}/jdd/Makefile | 0 {src => prism/src}/jdd/README | 0 {src => prism/src}/mtbdd/Makefile | 0 {src => prism/src}/mtbdd/PM_JOR.cc | 0 {src => prism/src}/mtbdd/PM_NondetBoundedUntil.cc | 0 {src => prism/src}/mtbdd/PM_NondetReachReward.cc | 0 {src => prism/src}/mtbdd/PM_NondetUntil.cc | 0 {src => prism/src}/mtbdd/PM_Power.cc | 0 {src => prism/src}/mtbdd/PM_Prob0.cc | 0 {src => prism/src}/mtbdd/PM_Prob0A.cc | 0 {src => prism/src}/mtbdd/PM_Prob0E.cc | 0 {src => prism/src}/mtbdd/PM_Prob1.cc | 0 {src => prism/src}/mtbdd/PM_Prob1A.cc | 0 {src => prism/src}/mtbdd/PM_Prob1E.cc | 0 {src => prism/src}/mtbdd/PM_ProbBoundedUntil.cc | 0 {src => prism/src}/mtbdd/PM_ProbExport.cc | 0 {src => prism/src}/mtbdd/PM_ProbReachReward.cc | 0 {src => prism/src}/mtbdd/PM_ProbUntil.cc | 0 {src => prism/src}/mtbdd/PM_Reachability.cc | 0 {src => prism/src}/mtbdd/PM_StochBoundedUntil.cc | 0 {src => prism/src}/mtbdd/PM_StochCumulReward.cc | 0 {src => prism/src}/mtbdd/PM_StochExport.cc | 0 {src => prism/src}/mtbdd/PM_StochSteadyState.cc | 0 {src => prism/src}/mtbdd/PM_StochTransient.cc | 0 {src => prism/src}/mtbdd/PrismMTBDD.cc | 0 {src => prism/src}/mtbdd/PrismMTBDD.java | 0 {src => prism/src}/odd/Makefile | 0 {src => prism/src}/odd/ODDNode.java | 0 {src => prism/src}/odd/ODDUtils.cc | 0 {src => prism/src}/odd/ODDUtils.java | 0 {src => prism/src}/odd/odd.cc | 0 {src => prism/src}/parser/Command.java | 0 {src => prism/src}/parser/ConstantList.java | 0 {src => prism/src}/parser/Declaration.java | 0 {src => prism/src}/parser/Expression.java | 0 {src => prism/src}/parser/ExpressionAnd.java | 0 {src => prism/src}/parser/ExpressionBinary.java | 0 {src => prism/src}/parser/ExpressionBrackets.java | 0 {src => prism/src}/parser/ExpressionConstant.java | 0 {src => prism/src}/parser/ExpressionDivide.java | 0 {src => prism/src}/parser/ExpressionDouble.java | 0 {src => prism/src}/parser/ExpressionFalse.java | 0 {src => prism/src}/parser/ExpressionFormula.java | 0 {src => prism/src}/parser/ExpressionFunc.java | 0 {src => prism/src}/parser/ExpressionITE.java | 0 {src => prism/src}/parser/ExpressionIdent.java | 0 {src => prism/src}/parser/ExpressionInt.java | 0 {src => prism/src}/parser/ExpressionMinus.java | 0 {src => prism/src}/parser/ExpressionNary.java | 0 {src => prism/src}/parser/ExpressionNot.java | 0 {src => prism/src}/parser/ExpressionOr.java | 0 {src => prism/src}/parser/ExpressionPlus.java | 0 {src => prism/src}/parser/ExpressionRange.java | 0 {src => prism/src}/parser/ExpressionRelOp.java | 0 {src => prism/src}/parser/ExpressionTimes.java | 0 {src => prism/src}/parser/ExpressionTrue.java | 0 {src => prism/src}/parser/ExpressionUnary.java | 0 {src => prism/src}/parser/ExpressionVar.java | 0 {src => prism/src}/parser/ForLoop.java | 0 {src => prism/src}/parser/FormulaList.java | 0 {src => prism/src}/parser/LabelList.java | 0 {src => prism/src}/parser/Makefile | 0 {src => prism/src}/parser/Module.java | 0 {src => prism/src}/parser/ModulesFile.java | 0 {src => prism/src}/parser/NOTES | 0 {src => prism/src}/parser/PCTLAnd.java | 0 {src => prism/src}/parser/PCTLBrackets.java | 0 {src => prism/src}/parser/PCTLExpression.java | 0 {src => prism/src}/parser/PCTLFormula.java | 0 {src => prism/src}/parser/PCTLFormulaBinary.java | 0 {src => prism/src}/parser/PCTLFormulaNary.java | 0 {src => prism/src}/parser/PCTLFormulaUnary.java | 0 {src => prism/src}/parser/PCTLImplies.java | 0 {src => prism/src}/parser/PCTLInit.java | 0 {src => prism/src}/parser/PCTLLabel.java | 0 {src => prism/src}/parser/PCTLNot.java | 0 {src => prism/src}/parser/PCTLOr.java | 0 {src => prism/src}/parser/PCTLProb.java | 0 {src => prism/src}/parser/PCTLProbBoundedUntil.java | 0 {src => prism/src}/parser/PCTLProbNext.java | 0 {src => prism/src}/parser/PCTLProbUntil.java | 0 {src => prism/src}/parser/PCTLReward.java | 0 {src => prism/src}/parser/PCTLRewardCumul.java | 0 {src => prism/src}/parser/PCTLRewardInst.java | 0 {src => prism/src}/parser/PCTLRewardReach.java | 0 {src => prism/src}/parser/PCTLRewardSS.java | 0 {src => prism/src}/parser/PCTLSS.java | 0 {src => prism/src}/parser/ParseException.java | 0 {src => prism/src}/parser/PrismParser.java | 0 {src => prism/src}/parser/PrismParser.jj | 0 {src => prism/src}/parser/PrismParserConstants.java | 0 .../src}/parser/PrismParserTokenManager.java | 0 .../src}/parser/PrismSyntaxHighlighter.java | 0 {src => prism/src}/parser/PropertiesFile.java | 0 {src => prism/src}/parser/README | 0 {src => prism/src}/parser/RenamedModule.java | 0 {src => prism/src}/parser/RewardStruct.java | 0 {src => prism/src}/parser/RewardStructItem.java | 0 {src => prism/src}/parser/SimpleCharStream.java | 0 {src => prism/src}/parser/SystemBrackets.java | 0 {src => prism/src}/parser/SystemDefn.java | 0 {src => prism/src}/parser/SystemFullParallel.java | 0 {src => prism/src}/parser/SystemHide.java | 0 {src => prism/src}/parser/SystemInterleaved.java | 0 {src => prism/src}/parser/SystemModule.java | 0 {src => prism/src}/parser/SystemParallel.java | 0 {src => prism/src}/parser/SystemRename.java | 0 {src => prism/src}/parser/Token.java | 0 {src => prism/src}/parser/TokenMgrError.java | 0 {src => prism/src}/parser/Update.java | 0 {src => prism/src}/parser/Updates.java | 0 {src => prism/src}/parser/Values.java | 0 {src => prism/src}/parser/VarList.java | 0 {src => prism/src}/pepa/compiler/InternalError.java | 0 {src => prism/src}/pepa/compiler/Main.java | 0 {src => prism/src}/pepa/compiler/Makefile | 0 {src => prism/src}/pepa/src/Alphabets.sig | 0 {src => prism/src}/pepa/src/Alphabets.sml | 0 {src => prism/src}/pepa/src/COPYING | 0 {src => prism/src}/pepa/src/CommandLine.sig | 0 {src => prism/src}/pepa/src/CommandLine.sml | 0 {src => prism/src}/pepa/src/Debugging.sig | 0 {src => prism/src}/pepa/src/Debugging.sml | 0 {src => prism/src}/pepa/src/Derivatives.sig | 0 {src => prism/src}/pepa/src/Derivatives.sml | 0 {src => prism/src}/pepa/src/Error.sig | 0 {src => prism/src}/pepa/src/Error.sml | 0 {src => prism/src}/pepa/src/Extractor.sig | 0 {src => prism/src}/pepa/src/Extractor.sml | 0 {src => prism/src}/pepa/src/Files.sig | 0 {src => prism/src}/pepa/src/Files.sml | 0 {src => prism/src}/pepa/src/JAVA/Makefile | 0 .../pepa/src/JAVA/pepa/compiler/InternalError.java | 0 .../src}/pepa/src/JAVA/pepa/compiler/Main.java | 0 {src => prism/src}/pepa/src/Lexer.sig | 0 {src => prism/src}/pepa/src/Lexer.sml | 0 {src => prism/src}/pepa/src/Lists.sig | 0 {src => prism/src}/pepa/src/Lists.sml | 0 {src => prism/src}/pepa/src/Makefile | 0 {src => prism/src}/pepa/src/Makefile.mosml | 0 {src => prism/src}/pepa/src/PEPA2PRISM.sig | 0 {src => prism/src}/pepa/src/PEPA2PRISM.sml | 0 {src => prism/src}/pepa/src/Parser.sig | 0 {src => prism/src}/pepa/src/Parser.sml | 0 {src => prism/src}/pepa/src/Pepa.sig | 0 {src => prism/src}/pepa/src/Pepa.sml | 0 {src => prism/src}/pepa/src/Prettyprinter.sig | 0 {src => prism/src}/pepa/src/Prettyprinter.sml | 0 {src => prism/src}/pepa/src/README | 0 {src => prism/src}/pepa/src/README.TOO | 0 {src => prism/src}/pepa/src/Semantic.sig | 0 {src => prism/src}/pepa/src/Semantic.sml | 0 {src => prism/src}/pepa/src/Sort.sig | 0 {src => prism/src}/pepa/src/Sort.sml | 0 {src => prism/src}/pepa/src/TESTS/ERRORS/README | 0 .../src}/pepa/src/TESTS/ERRORS/activeactive.pepa | 0 .../src}/pepa/src/TESTS/ERRORS/ratemissing.pepa | 0 {src => prism/src}/pepa/src/TESTS/README | 0 {src => prism/src}/pepa/src/TESTS/auction.pepa | 0 {src => prism/src}/pepa/src/TESTS/auction_pepa.sm | 0 {src => prism/src}/pepa/src/TESTS/badge.1.4.pepa | 0 {src => prism/src}/pepa/src/TESTS/badge.1.4_pepa.sm | 0 {src => prism/src}/pepa/src/TESTS/hiding.pepa | 0 {src => prism/src}/pepa/src/TESTS/hiding_pepa.sm | 0 {src => prism/src}/pepa/src/TESTS/mobile.pepa | 0 {src => prism/src}/pepa/src/TESTS/mobile_pepa.sm | 0 {src => prism/src}/pepa/src/TESTS/small.pepa | 0 {src => prism/src}/pepa/src/TESTS/small_pepa.sm | 0 {src => prism/src}/pepa/src/compiler.sml | 0 {src => prism/src}/pepa/src/pepa.mlj | 0 {src => prism/src}/pepa/src/pepa.renamed.sml | 0 {src => prism/src}/pepa/src/sources.cm | 0 {src => prism/src}/prism/DefinedConstant.java | 0 {src => prism/src}/prism/DisplayableData.java | 0 {src => prism/src}/prism/Explicit2MTBDD.java | 0 {src => prism/src}/prism/Expression2MTBDD.java | 0 {src => prism/src}/prism/Makefile | 0 {src => prism/src}/prism/Model.java | 0 {src => prism/src}/prism/ModelChecker.java | 0 {src => prism/src}/prism/Modules2MTBDD.java | 0 {src => prism/src}/prism/NondetModel.java | 0 {src => prism/src}/prism/NondetModelChecker.java | 0 {src => prism/src}/prism/Preprocessor.java | 0 {src => prism/src}/prism/Prism.java | 0 {src => prism/src}/prism/PrismCL.java | 0 {src => prism/src}/prism/PrismException.java | 0 {src => prism/src}/prism/PrismFileLog.java | 0 {src => prism/src}/prism/PrismLog.java | 0 {src => prism/src}/prism/PrismSettings.java | 0 {src => prism/src}/prism/PrismSettingsListener.java | 0 {src => prism/src}/prism/PrismUtils.cc | 0 {src => prism/src}/prism/PrismUtils.java | 0 {src => prism/src}/prism/ProbModel.java | 0 {src => prism/src}/prism/ProbModelChecker.java | 0 {src => prism/src}/prism/PropertyConstants.java | 0 {src => prism/src}/prism/RangingConstant.java | 0 {src => prism/src}/prism/ResultsCollection.java | 0 {src => prism/src}/prism/SCCComputer.java | 0 {src => prism/src}/prism/StateList.java | 0 {src => prism/src}/prism/StateListMTBDD.java | 0 {src => prism/src}/prism/StateProbs.java | 0 {src => prism/src}/prism/StateProbsDV.java | 0 {src => prism/src}/prism/StateProbsMTBDD.java | 0 {src => prism/src}/prism/StochModel.java | 0 {src => prism/src}/prism/StochModelChecker.java | 0 {src => prism/src}/prism/UndefinedConstants.java | 0 {src => prism/src}/prism/foxglynn.cc | 0 {src => prism/src}/settings/Apple.java | 0 {src => prism/src}/settings/BooleanConstraint.java | 0 {src => prism/src}/settings/BooleanEditor.java | 0 {src => prism/src}/settings/BooleanRenderer.java | 0 {src => prism/src}/settings/BooleanSetting.java | 0 {src => prism/src}/settings/ChoiceEditor.java | 0 {src => prism/src}/settings/ChoiceRenderer.java | 0 {src => prism/src}/settings/ChoiceSetting.java | 0 {src => prism/src}/settings/ColorConstraint.java | 0 {src => prism/src}/settings/ColorEditor.java | 0 {src => prism/src}/settings/ColorRenderer.java | 0 {src => prism/src}/settings/ColorSetting.java | 0 .../src}/settings/DefaultSettingOwner.java | 0 {src => prism/src}/settings/DoubleEditor.java | 0 .../src}/settings/DoubleRangeConstraint.java | 0 {src => prism/src}/settings/DoubleRenderer.java | 0 {src => prism/src}/settings/DoubleSetting.java | 0 {src => prism/src}/settings/FileEditor.java | 0 {src => prism/src}/settings/FileRenderer.java | 0 {src => prism/src}/settings/FileSelector.java | 0 {src => prism/src}/settings/FileSetting.java | 0 {src => prism/src}/settings/FontChooser.form | 0 {src => prism/src}/settings/FontChooser.java | 0 .../src}/settings/FontColorConstraint.java | 0 {src => prism/src}/settings/FontColorEditor.java | 0 {src => prism/src}/settings/FontColorPair.java | 0 {src => prism/src}/settings/FontColorRenderer.java | 0 {src => prism/src}/settings/FontColorSetting.java | 0 {src => prism/src}/settings/IntegerEditor.java | 0 {src => prism/src}/settings/IntegerRenderer.java | 0 {src => prism/src}/settings/IntegerSetting.java | 0 {src => prism/src}/settings/Makefile | 0 .../src}/settings/MultipleLineStringEditor.java | 0 .../src}/settings/MultipleLineStringRenderer.java | 0 .../src}/settings/MultipleLineStringSetting.java | 0 {src => prism/src}/settings/NumericConstraint.java | 0 {src => prism/src}/settings/Orange.java | 0 {src => prism/src}/settings/RangeConstraint.java | 0 {src => prism/src}/settings/Setting.java | 0 {src => prism/src}/settings/SettingConstraint.java | 0 {src => prism/src}/settings/SettingDisplay.java | 0 {src => prism/src}/settings/SettingEditor.java | 0 {src => prism/src}/settings/SettingException.java | 0 {src => prism/src}/settings/SettingOwner.java | 0 {src => prism/src}/settings/SettingRenderer.java | 0 {src => prism/src}/settings/SettingTable.form | 0 {src => prism/src}/settings/SettingTable.java | 0 .../src}/settings/SingleLineStringEditor.java | 0 .../src}/settings/SingleLineStringRenderer.java | 0 .../src}/settings/SingleLineStringSetting.java | 0 {src => prism/src}/settings/StringConstraint.java | 0 {src => prism/src}/settings/TableResizer.java | 0 {src => prism/src}/settings/Test.java | 0 {src => prism/src}/settings/Test2.form | 0 {src => prism/src}/settings/Test2.java | 0 {src => prism/src}/simulator/Makefile | 0 {src => prism/src}/simulator/NetTest.java | 0 {src => prism/src}/simulator/SimulatorEngine.cc | 0 {src => prism/src}/simulator/SimulatorEngine.java | 0 .../src}/simulator/SimulatorException.java | 0 .../src}/simulator/networking/FileSystem.java | 0 .../src}/simulator/networking/RemoteHandler.java | 0 .../src}/simulator/networking/SSHHandler.java | 0 .../src}/simulator/networking/SSHHost.java | 0 .../networking/SimulatorNetworkHandler.java | 0 .../simulator/networking/SimulatorResultsFile.java | 0 .../src}/simulator/old/ExplorationTesting.java | 0 .../src}/simulator/old/ExploreTesting.java | 0 .../src}/simulator/old/ExpressionTesting.java | 0 .../src}/simulator/old/LoadModelTesting.java | 0 .../src}/simulator/old/ManualSimulator.java | 0 .../src}/simulator/old/UpdatesTesting.java | 0 {src => prism/src}/simulator/simengine.cc | 0 {src => prism/src}/simulator/simexpression.cc | 0 .../src}/simulator/simexpressionbuilder.cc | 0 {src => prism/src}/simulator/simformulae.cc | 0 {src => prism/src}/simulator/simiohandler.cc | 0 {src => prism/src}/simulator/simlog.cc | 0 {src => prism/src}/simulator/simmodel.cc | 0 {src => prism/src}/simulator/simpath.cc | 0 {src => prism/src}/simulator/simpctl.cc | 0 {src => prism/src}/simulator/simpctlbuilder.cc | 0 {src => prism/src}/simulator/simrandom.cc | 0 {src => prism/src}/simulator/simreasoning.cc | 0 {src => prism/src}/simulator/simrewardsbuilder.cc | 0 {src => prism/src}/simulator/simsampling.cc | 0 {src => prism/src}/simulator/simstate.cc | 0 {src => prism/src}/simulator/simtest.cc | 0 .../src}/simulator/simtransitionbuilder.cc | 0 {src => prism/src}/simulator/simupdater.cc | 0 {src => prism/src}/simulator/simutil.cc | 0 {src => prism/src}/sparse/Makefile | 0 {src => prism/src}/sparse/PS_JOR.cc | 0 {src => prism/src}/sparse/PS_NondetBoundedUntil.cc | 0 {src => prism/src}/sparse/PS_NondetExport.cc | 0 {src => prism/src}/sparse/PS_NondetReachReward.cc | 0 {src => prism/src}/sparse/PS_NondetUntil.cc | 0 {src => prism/src}/sparse/PS_Power.cc | 0 {src => prism/src}/sparse/PS_ProbBoundedUntil.cc | 0 {src => prism/src}/sparse/PS_ProbExport.cc | 0 {src => prism/src}/sparse/PS_ProbReachReward.cc | 0 {src => prism/src}/sparse/PS_ProbUntil.cc | 0 {src => prism/src}/sparse/PS_SOR.cc | 0 {src => prism/src}/sparse/PS_StochBoundedUntil.cc | 0 {src => prism/src}/sparse/PS_StochCumulReward.cc | 0 {src => prism/src}/sparse/PS_StochExport.cc | 0 {src => prism/src}/sparse/PS_StochSteadyState.cc | 0 {src => prism/src}/sparse/PS_StochTransient.cc | 0 {src => prism/src}/sparse/PrismSparse.cc | 0 {src => prism/src}/sparse/PrismSparse.java | 0 {src => prism/src}/sparse/sparse.cc | 0 {src => prism/src}/userinterface/GUIClipboard.java | 0 .../src}/userinterface/GUIClipboardEvent.java | 0 .../src}/userinterface/GUIComputationThread.java | 0 .../src}/userinterface/GUIConstantsPicker.form | 0 .../src}/userinterface/GUIConstantsPicker.java | 0 {src => prism/src}/userinterface/GUIFileMenu.java | 0 .../src}/userinterface/GUIGeneralOptions.form | 0 .../src}/userinterface/GUIGeneralOptions.java | 0 {src => prism/src}/userinterface/GUINetwork.java | 0 .../src}/userinterface/GUINetworkOptions.form | 0 .../src}/userinterface/GUINetworkOptions.java | 0 .../src}/userinterface/GUIOptionsDialog.form | 0 .../src}/userinterface/GUIOptionsDialog.java | 0 {src => prism/src}/userinterface/GUIPlugin.java | 0 {src => prism/src}/userinterface/GUIPrism.java | 0 .../src}/userinterface/GUIPrismOptionsPanel.form | 0 .../src}/userinterface/GUIPrismSplash.java | 0 .../src}/userinterface/GUISimulationPicker.form | 0 .../src}/userinterface/GUISimulationPicker.java | 0 {src => prism/src}/userinterface/GUITaskBar.java | 0 {src => prism/src}/userinterface/Makefile | 0 {src => prism/src}/userinterface/OptionsPanel.java | 0 .../src}/userinterface/SimulationInformation.java | 0 {src => prism/src}/userinterface/log/GUILog.java | 0 .../src}/userinterface/log/GUIVisualLogModel.java | 0 .../src}/userinterface/log/GUIVisualLogger.java | 0 .../src}/userinterface/log/GUIWindowLog.java | 0 .../src}/userinterface/model/GUIModelEditor.java | 0 .../src}/userinterface/model/GUIModelEvent.java | 0 .../src}/userinterface/model/GUIMultiModel.java | 0 .../userinterface/model/GUIMultiModelHandler.java | 0 .../src}/userinterface/model/GUIMultiModelTree.java | 0 .../userinterface/model/GUITextModelEditor.java | 0 .../src}/userinterface/model/GUITransientTime.form | 0 .../src}/userinterface/model/GUITransientTime.java | 0 {src => prism/src}/userinterface/model/Style.java | 0 .../model/computation/BuildModelThread.java | 0 .../model/computation/ComputeSteadyStateThread.java | 0 .../model/computation/ComputeTransientThread.java | 0 .../model/computation/ExportBuiltModelThread.java | 0 .../model/computation/LoadGraphicModelThread.java | 0 .../model/computation/LoadPEPAModelThread.java | 0 .../model/computation/LoadPRISMModelThread.java | 0 .../model/computation/ParseModelThread.java | 0 .../model/computation/SaveGraphicModelThread.java | 0 .../model/computation/SavePEPAModelThread.java | 0 .../model/computation/SavePRISMModelThread.java | 0 .../userinterface/model/graphicModel/Decision.java | 0 .../model/graphicModel/ExpressionLabel.java | 0 .../model/graphicModel/GUIGraphicModelEditor.java | 0 .../model/graphicModel/GraphicModuleContainer.java | 0 .../model/graphicModel/GraphicSelection.java | 0 .../model/graphicModel/GraphicToolBar.java | 0 .../model/graphicModel/ModuleDrawingPane.java | 0 .../model/graphicModel/ModuleModel.java | 0 .../model/graphicModel/ModulesPanel.java | 0 .../src}/userinterface/model/graphicModel/Nail.java | 0 .../model/graphicModel/ProbTransition.java | 0 .../userinterface/model/graphicModel/State.java | 0 .../model/graphicModel/StringLabel.java | 0 .../model/graphicModel/Transition.java | 0 .../model/pepaModel/GUIPepaModelEditor.java | 0 .../userinterface/properties/ConstantHeader.form | 0 .../userinterface/properties/ConstantHeader.java | 0 .../src}/userinterface/properties/ConstantLine.form | 0 .../src}/userinterface/properties/ConstantLine.java | 0 .../properties/ConstantPickerList.java | 0 .../userinterface/properties/GUIExperiment.java | 0 .../properties/GUIExperimentPicker.form | 0 .../properties/GUIExperimentPicker.java | 0 .../properties/GUIExperimentTable.java | 0 .../userinterface/properties/GUIGraphHandler.java | 0 .../userinterface/properties/GUIGraphPicker.form | 0 .../userinterface/properties/GUIGraphPicker.java | 0 .../src}/userinterface/properties/GUILabel.java | 0 .../properties/GUIMultiProperties.java | 0 .../properties/GUIPropConstantList.java | 0 .../userinterface/properties/GUIPropLabelList.java | 0 .../properties/GUIPropertiesEvent.java | 0 .../userinterface/properties/GUIPropertiesList.java | 0 .../src}/userinterface/properties/GUIProperty.java | 0 .../userinterface/properties/GUIPropertyEditor.form | 0 .../userinterface/properties/GUIPropertyEditor.java | 0 .../properties/GUIPropertyResultDialog.form | 0 .../properties/GUIPropertyResultDialog.java | 0 .../userinterface/properties/GUIResultsTable.java | 0 .../properties/GraphConstantHeader.form | 0 .../properties/GraphConstantHeader.java | 0 .../userinterface/properties/GraphConstantLine.form | 0 .../userinterface/properties/GraphConstantLine.java | 0 .../properties/GraphConstantPickerList.java | 0 .../properties/computation/ExportResultsThread.java | 0 .../computation/LoadPropertiesThread.java | 0 .../properties/computation/ModelCheckThread.java | 0 .../computation/SavePropertiesThread.java | 0 .../computation/SimulateModelCheckThread.java | 0 .../simulator/GUIInitialStatePicker.form | 0 .../simulator/GUIInitialStatePicker.java | 0 .../simulator/GUISimLabelFormulaeList.java | 0 .../simulator/GUISimPathFormulaeList.java | 0 .../src}/userinterface/simulator/GUISimulator.form | 0 .../src}/userinterface/simulator/GUISimulator.java | 0 .../simulator/GUISimulatorPathTable.java | 0 .../simulator/GUISimulatorUpdatesTable.java | 0 .../simulator/networking/GUINetworkEditor.form | 0 .../simulator/networking/GUINetworkEditor.java | 0 .../networking/GUISimulatorDistributionDialog.form | 0 .../networking/GUISimulatorDistributionDialog.java | 0 .../src}/userinterface/util/BooleanProperty.java | 0 .../src}/userinterface/util/ChoiceProperty.java | 0 .../src}/userinterface/util/ColourProperty.java | 0 .../src}/userinterface/util/DoubleProperty.java | 0 .../src}/userinterface/util/ExpressionProperty.java | 0 .../src}/userinterface/util/FontChooser.form | 0 .../src}/userinterface/util/FontChooser.java | 0 .../src}/userinterface/util/FontColorPair.java | 0 .../src}/userinterface/util/FontColorProperty.java | 0 .../userinterface/util/GUIComputationEvent.java | 0 {src => prism/src}/userinterface/util/GUIEvent.java | 0 .../src}/userinterface/util/GUIEventHandler.java | 0 .../src}/userinterface/util/GUIEventListener.java | 0 .../src}/userinterface/util/GUIException.java | 0 .../src}/userinterface/util/GUIExitEvent.java | 0 .../src}/userinterface/util/GUILogEvent.java | 0 .../src}/userinterface/util/GUIPrismFileFilter.java | 0 .../src}/userinterface/util/MultipleProperty.java | 0 .../userinterface/util/PresentationMetalTheme.java | 0 .../src}/userinterface/util/PropertyConstants.java | 0 .../src}/userinterface/util/PropertyException.java | 0 .../src}/userinterface/util/PropertyOwner.java | 0 .../src}/userinterface/util/PropertyTable.form | 0 .../src}/userinterface/util/PropertyTable.java | 0 .../src}/userinterface/util/PropertyTableModel.java | 0 .../src}/userinterface/util/SelectionEvent.java | 0 .../src}/userinterface/util/SelectionListener.java | 0 .../src}/userinterface/util/SelectionModel.java | 0 .../src}/userinterface/util/SeriesDataProperty.java | 0 .../src}/userinterface/util/SingleProperty.java | 0 {src => prism/src}/userinterface/util/Test2.form | 0 {src => prism/src}/userinterface/util/Test2.java | 0 728 files changed, 0 insertions(+), 0 deletions(-) rename .java_dir.txt => prism/.java_dir.txt (100%) rename .ostype.txt => prism/.ostype.txt (100%) rename CHANGELOG.txt => prism/CHANGELOG.txt (100%) rename COPYING.txt => prism/COPYING.txt (100%) rename Makefile => prism/Makefile (100%) rename NOTES => prism/NOTES (100%) rename README.txt => prism/README.txt (100%) rename VERSIONS.txt => prism/VERSIONS.txt (100%) rename {bin => prism/bin}/prism (100%) rename {bin => prism/bin}/prism.bat (100%) rename {bin => prism/bin}/xprism (100%) rename {bin => prism/bin}/xprism.bat (100%) rename {classes => prism/classes}/config/currentOptions.xml (100%) rename {classes => prism/classes}/dtds/chartformat.dtd (100%) rename {classes => prism/classes}/dtds/gmo.dtd (100%) rename {classes => prism/classes}/dtds/options.dtd (100%) rename {classes => prism/classes}/dtds/prismnetwork.dtd (100%) rename {classes => prism/classes}/images/barGraph.gif (100%) rename {classes => prism/classes}/images/drawState.gif (100%) rename {classes => prism/classes}/images/drawTrans.gif (100%) rename {classes => prism/classes}/images/genhtml.sh (100%) rename {classes => prism/classes}/images/greenGrid.gif (100%) rename {classes => prism/classes}/images/gridSnap.gif (100%) rename {classes => prism/classes}/images/gridSnapOff.gif (100%) rename {classes => prism/classes}/images/gridSnapOn.gif (100%) rename {classes => prism/classes}/images/index.html (100%) rename {classes => prism/classes}/images/lineGraph.gif (100%) rename {classes => prism/classes}/images/longLabel.gif (100%) rename {classes => prism/classes}/images/mouse.gif (100%) rename {classes => prism/classes}/images/mouseAndMove.gif (100%) rename {classes => prism/classes}/images/mouseAndTransition.gif (100%) rename {classes => prism/classes}/images/mouseCross.gif (100%) rename {classes => prism/classes}/images/mouseCrossZoom.gif (100%) rename {classes => prism/classes}/images/mouseQuestion.gif (100%) rename {classes => prism/classes}/images/mouseZoom.gif (100%) rename {classes => prism/classes}/images/normLabel.gif (100%) rename {classes => prism/classes}/images/notused/smallBlank.gif (100%) rename {classes => prism/classes}/images/notused/smallCross.old.gif (100%) rename {classes => prism/classes}/images/notused/smallError.old.gif (100%) rename {classes => prism/classes}/images/notused/smallError.other.gif (100%) rename {classes => prism/classes}/images/notused/smallFind.gif (100%) rename {classes => prism/classes}/images/notused/smallHistory.gif (100%) rename {classes => prism/classes}/images/notused/smallPlay.gif (100%) rename {classes => prism/classes}/images/notused/smallPrint.gif (100%) rename {classes => prism/classes}/images/notused/smallProperties.gif (100%) rename {classes => prism/classes}/images/notused/smallQuestion.old.gif (100%) rename {classes => prism/classes}/images/notused/smallRefresh.gif (100%) rename {classes => prism/classes}/images/notused/smallReset.gif (100%) rename {classes => prism/classes}/images/notused/smallStep.gif (100%) rename {classes => prism/classes}/images/notused/smallStop.gif (100%) rename {classes => prism/classes}/images/notused/smallTick.old.gif (100%) rename {classes => prism/classes}/images/notused/smallVerifySelected.gif (100%) rename {classes => prism/classes}/images/notused/smallWarningTriangle.old.gif (100%) rename {classes => prism/classes}/images/notused/smallZoom.gif (100%) rename {classes => prism/classes}/images/probTrans.gif (100%) rename {classes => prism/classes}/images/redGrid.gif (100%) rename {classes => prism/classes}/images/select.gif (100%) rename {classes => prism/classes}/images/smallAdd.gif (100%) rename {classes => prism/classes}/images/smallAddChoice.gif (100%) rename {classes => prism/classes}/images/smallAddNail.gif (100%) rename {classes => prism/classes}/images/smallAddState.gif (100%) rename {classes => prism/classes}/images/smallAddTransition.gif (100%) rename {classes => prism/classes}/images/smallAutomaticUpdate.gif (100%) rename {classes => prism/classes}/images/smallBack.gif (100%) rename {classes => prism/classes}/images/smallBacktrack.gif (100%) rename {classes => prism/classes}/images/smallBool.gif (100%) rename {classes => prism/classes}/images/smallBuild.gif (100%) rename {classes => prism/classes}/images/smallBuilt.gif (100%) rename {classes => prism/classes}/images/smallCascade.gif (100%) rename {classes => prism/classes}/images/smallClearPath.gif (100%) rename {classes => prism/classes}/images/smallClockAnim1.gif (100%) rename {classes => prism/classes}/images/smallClockAnim2.gif (100%) rename {classes => prism/classes}/images/smallClockAnim3.gif (100%) rename {classes => prism/classes}/images/smallClockAnim4.gif (100%) rename {classes => prism/classes}/images/smallClockAnim5.gif (100%) rename {classes => prism/classes}/images/smallClockAnim6.gif (100%) rename {classes => prism/classes}/images/smallClockAnim7.gif (100%) rename {classes => prism/classes}/images/smallClockAnim8.gif (100%) rename {classes => prism/classes}/images/smallCompute.gif (100%) rename {classes => prism/classes}/images/smallCopy.gif (100%) rename {classes => prism/classes}/images/smallCrocClosed.gif (100%) rename {classes => prism/classes}/images/smallCrocOpen.gif (100%) rename {classes => prism/classes}/images/smallCross.gif (100%) rename {classes => prism/classes}/images/smallCut.gif (100%) rename {classes => prism/classes}/images/smallDelete.gif (100%) rename {classes => prism/classes}/images/smallDetails.gif (100%) rename {classes => prism/classes}/images/smallDock.gif (100%) rename {classes => prism/classes}/images/smallDocking.gif (100%) rename {classes => prism/classes}/images/smallDot.gif (100%) rename {classes => prism/classes}/images/smallDown.gif (100%) rename {classes => prism/classes}/images/smallEdit.gif (100%) rename {classes => prism/classes}/images/smallError.gif (100%) rename {classes => prism/classes}/images/smallExit.gif (100%) rename {classes => prism/classes}/images/smallExport.gif (100%) rename {classes => prism/classes}/images/smallExpression.gif (100%) rename {classes => prism/classes}/images/smallForward.gif (100%) rename {classes => prism/classes}/images/smallGlobal.gif (100%) rename {classes => prism/classes}/images/smallHalt.gif (100%) rename {classes => prism/classes}/images/smallHost.gif (100%) rename {classes => prism/classes}/images/smallImport.gif (100%) rename {classes => prism/classes}/images/smallItemSelected.gif (100%) rename {classes => prism/classes}/images/smallLayout.gif (100%) rename {classes => prism/classes}/images/smallLineGraph.gif (100%) rename {classes => prism/classes}/images/smallManualUpdate.gif (100%) rename {classes => prism/classes}/images/smallMatlab.gif (100%) rename {classes => prism/classes}/images/smallModule.gif (100%) rename {classes => prism/classes}/images/smallNetwork.gif (100%) rename {classes => prism/classes}/images/smallNew.gif (100%) rename {classes => prism/classes}/images/smallNewGraphic.gif (100%) rename {classes => prism/classes}/images/smallNewModule.gif (100%) rename {classes => prism/classes}/images/smallNewPEPA.gif (100%) rename {classes => prism/classes}/images/smallNewPath.gif (100%) rename {classes => prism/classes}/images/smallNewText.gif (100%) rename {classes => prism/classes}/images/smallNumbers.gif (100%) rename {classes => prism/classes}/images/smallOpen.gif (100%) rename {classes => prism/classes}/images/smallOptions.gif (100%) rename {classes => prism/classes}/images/smallParse.gif (100%) rename {classes => prism/classes}/images/smallParsed.gif (100%) rename {classes => prism/classes}/images/smallPaste.gif (100%) rename {classes => prism/classes}/images/smallPlainText.gif (100%) rename {classes => prism/classes}/images/smallPrint.gif (100%) rename {classes => prism/classes}/images/smallPrism.gif (100%) rename {classes => prism/classes}/images/smallQuestion.gif (100%) rename {classes => prism/classes}/images/smallReload.gif (100%) rename {classes => prism/classes}/images/smallRemovePreceding.gif (100%) rename {classes => prism/classes}/images/smallResetPath.gif (100%) rename {classes => prism/classes}/images/smallSave.gif (100%) rename {classes => prism/classes}/images/smallSaveAs.gif (100%) rename {classes => prism/classes}/images/smallScales.gif (100%) rename {classes => prism/classes}/images/smallSelectAll.gif (100%) rename {classes => prism/classes}/images/smallServer.gif (100%) rename {classes => prism/classes}/images/smallSimulate.gif (100%) rename {classes => prism/classes}/images/smallSortX.gif (100%) rename {classes => prism/classes}/images/smallSortY.gif (100%) rename {classes => prism/classes}/images/smallStates.gif (100%) rename {classes => prism/classes}/images/smallString.gif (100%) rename {classes => prism/classes}/images/smallTick.gif (100%) rename {classes => prism/classes}/images/smallTile.gif (100%) rename {classes => prism/classes}/images/smallUndock.gif (100%) rename {classes => prism/classes}/images/smallUp.gif (100%) rename {classes => prism/classes}/images/smallVariable.gif (100%) rename {classes => prism/classes}/images/smallVerify.gif (100%) rename {classes => prism/classes}/images/smallVerifyAll.gif (100%) rename {classes => prism/classes}/images/smallView.gif (100%) rename {classes => prism/classes}/images/smallViewParse.gif (100%) rename {classes => prism/classes}/images/smallViewStates.gif (100%) rename {classes => prism/classes}/images/smallWarningTriangle.gif (100%) rename {classes => prism/classes}/images/smallZoom.gif (100%) rename {classes => prism/classes}/images/smallZoomIn.gif (100%) rename {classes => prism/classes}/images/smallZoomOut.gif (100%) rename {classes => prism/classes}/images/splash-old.gif (100%) rename {classes => prism/classes}/images/splash.gif (100%) rename cudd => prism/cudd (100%) rename {etc => prism/etc}/p16.gif (100%) rename {etc => prism/etc}/p16.ico (100%) rename {etc => prism/etc}/p32.gif (100%) rename {etc => prism/etc}/p32.ico (100%) rename {etc => prism/etc}/p64.gif (100%) rename {etc => prism/etc}/p64.ico (100%) rename {etc => prism/etc}/prism-2.1.dev.pats (100%) rename {etc => prism/etc}/prism.css (100%) rename {etc => prism/etc}/prism.tex (100%) rename examples => prism/examples (100%) rename {include => prism/include}/DoubleVector.h (100%) rename {include => prism/include}/JDD.h (100%) rename {include => prism/include}/JDDNode.h (100%) rename {include => prism/include}/JDDVars.h (100%) rename {include => prism/include}/ODDUtils.h (100%) rename {include => prism/include}/PrismHybrid.h (100%) rename {include => prism/include}/PrismHybridGlob.h (100%) rename {include => prism/include}/PrismMTBDD.h (100%) rename {include => prism/include}/PrismMTBDDGlob.h (100%) rename {include => prism/include}/PrismSparse.h (100%) rename {include => prism/include}/PrismSparseGlob.h (100%) rename {include => prism/include}/PrismUtils.h (100%) rename {include => prism/include}/SimulatorEngine.h (100%) rename {include => prism/include}/dd.h (100%) rename {include => prism/include}/dd_abstr.h (100%) rename {include => prism/include}/dd_basics.h (100%) rename {include => prism/include}/dd_cudd.h (100%) rename {include => prism/include}/dd_export.h (100%) rename {include => prism/include}/dd_info.h (100%) rename {include => prism/include}/dd_matrix.h (100%) rename {include => prism/include}/dd_term.h (100%) rename {include => prism/include}/dd_vars.h (100%) rename {include => prism/include}/dv.h (100%) rename {include => prism/include}/foxglynn.h (100%) rename {include => prism/include}/hybrid.h (100%) rename {include => prism/include}/odd.h (100%) rename {include => prism/include}/simengine.h (100%) rename {include => prism/include}/simexpression.h (100%) rename {include => prism/include}/simformulae.h (100%) rename {include => prism/include}/simiohandler.h (100%) rename {include => prism/include}/simlog.h (100%) rename {include => prism/include}/simmodel.h (100%) rename {include => prism/include}/simpath.h (100%) rename {include => prism/include}/simpctl.h (100%) rename {include => prism/include}/simrandom.h (100%) rename {include => prism/include}/simreasoning.h (100%) rename {include => prism/include}/simsampling.h (100%) rename {include => prism/include}/simstate.h (100%) rename {include => prism/include}/simupdater.h (100%) rename {include => prism/include}/simutil.h (100%) rename {include => prism/include}/sparse.h (100%) rename install.sh => prism/install.sh (100%) rename {lib => prism/lib}/pepa.zip (100%) rename {src => prism/src}/apmc/Apmc.java (100%) rename {src => prism/src}/apmc/ApmcException.java (100%) rename {src => prism/src}/apmc/Makefile (100%) rename {src => prism/src}/chart/ChartColorChooser.java (100%) rename {src => prism/src}/chart/ChartObject.java (100%) rename {src => prism/src}/chart/FourBorders.java (100%) rename {src => prism/src}/chart/GraphList.java (100%) rename {src => prism/src}/chart/GraphListEditor.java (100%) rename {src => prism/src}/chart/GraphOptionsPanel.form (100%) rename {src => prism/src}/chart/GraphOptionsPanel.java (100%) rename {src => prism/src}/chart/GraphPoint.java (100%) rename {src => prism/src}/chart/HorizontalGraphBorder.java (100%) rename {src => prism/src}/chart/Makefile (100%) rename {src => prism/src}/chart/MultiGraphModel.java (100%) rename {src => prism/src}/chart/MultiGraphOptions.java (100%) rename {src => prism/src}/chart/MultiGraphView.java (100%) rename {src => prism/src}/chart/NegativeTest.java (100%) rename {src => prism/src}/chart/PrismColorChooserPanel.java (100%) rename {src => prism/src}/chart/PrismFileFilter.java (100%) rename {src => prism/src}/chart/Resizer.java (100%) rename {src => prism/src}/chart/SeriesDataEditor.java (100%) rename {src => prism/src}/chart/SeriesDataRenderer.java (100%) rename {src => prism/src}/chart/SeriesDataSetting.java (100%) rename {src => prism/src}/chart/SeriesList.java (100%) rename {src => prism/src}/chart/VerticalGraphBorder.java (100%) rename {src => prism/src}/dd/Makefile (100%) rename {src => prism/src}/dd/dd.cc (100%) rename {src => prism/src}/dd/dd_abstr.cc (100%) rename {src => prism/src}/dd/dd_basics.cc (100%) rename {src => prism/src}/dd/dd_cudd.cc (100%) rename {src => prism/src}/dd/dd_export.cc (100%) rename {src => prism/src}/dd/dd_info.cc (100%) rename {src => prism/src}/dd/dd_matrix.cc (100%) rename {src => prism/src}/dd/dd_term.cc (100%) rename {src => prism/src}/dd/dd_test.cc (100%) rename {src => prism/src}/dd/dd_vars.cc (100%) rename {src => prism/src}/dv/DoubleVector.cc (100%) rename {src => prism/src}/dv/DoubleVector.java (100%) rename {src => prism/src}/dv/Makefile (100%) rename {src => prism/src}/dv/dv.cc (100%) rename {src => prism/src}/hybrid/Makefile (100%) rename {src => prism/src}/hybrid/PH_JOR.cc (100%) rename {src => prism/src}/hybrid/PH_NondetBoundedUntil.cc (100%) rename {src => prism/src}/hybrid/PH_NondetReachReward.cc (100%) rename {src => prism/src}/hybrid/PH_NondetUntil.cc (100%) rename {src => prism/src}/hybrid/PH_PSOR.cc (100%) rename {src => prism/src}/hybrid/PH_Power.cc (100%) rename {src => prism/src}/hybrid/PH_ProbBoundedUntil.cc (100%) rename {src => prism/src}/hybrid/PH_ProbReachReward.cc (100%) rename {src => prism/src}/hybrid/PH_ProbUntil.cc (100%) rename {src => prism/src}/hybrid/PH_SOR.cc (100%) rename {src => prism/src}/hybrid/PH_StochBoundedUntil.cc (100%) rename {src => prism/src}/hybrid/PH_StochCumulReward.cc (100%) rename {src => prism/src}/hybrid/PH_StochSteadyState.cc (100%) rename {src => prism/src}/hybrid/PH_StochTransient.cc (100%) rename {src => prism/src}/hybrid/PrismHybrid.cc (100%) rename {src => prism/src}/hybrid/PrismHybrid.java (100%) rename {src => prism/src}/hybrid/hybrid.cc (100%) rename {src => prism/src}/jdd/JDD.cc (100%) rename {src => prism/src}/jdd/JDD.java (100%) rename {src => prism/src}/jdd/JDDNode.java (100%) rename {src => prism/src}/jdd/JDDTest.java (100%) rename {src => prism/src}/jdd/JDDVars.java (100%) rename {src => prism/src}/jdd/JDDVectorConsumer.java (100%) rename {src => prism/src}/jdd/Makefile (100%) rename {src => prism/src}/jdd/README (100%) rename {src => prism/src}/mtbdd/Makefile (100%) rename {src => prism/src}/mtbdd/PM_JOR.cc (100%) rename {src => prism/src}/mtbdd/PM_NondetBoundedUntil.cc (100%) rename {src => prism/src}/mtbdd/PM_NondetReachReward.cc (100%) rename {src => prism/src}/mtbdd/PM_NondetUntil.cc (100%) rename {src => prism/src}/mtbdd/PM_Power.cc (100%) rename {src => prism/src}/mtbdd/PM_Prob0.cc (100%) rename {src => prism/src}/mtbdd/PM_Prob0A.cc (100%) rename {src => prism/src}/mtbdd/PM_Prob0E.cc (100%) rename {src => prism/src}/mtbdd/PM_Prob1.cc (100%) rename {src => prism/src}/mtbdd/PM_Prob1A.cc (100%) rename {src => prism/src}/mtbdd/PM_Prob1E.cc (100%) rename {src => prism/src}/mtbdd/PM_ProbBoundedUntil.cc (100%) rename {src => prism/src}/mtbdd/PM_ProbExport.cc (100%) rename {src => prism/src}/mtbdd/PM_ProbReachReward.cc (100%) rename {src => prism/src}/mtbdd/PM_ProbUntil.cc (100%) rename {src => prism/src}/mtbdd/PM_Reachability.cc (100%) rename {src => prism/src}/mtbdd/PM_StochBoundedUntil.cc (100%) rename {src => prism/src}/mtbdd/PM_StochCumulReward.cc (100%) rename {src => prism/src}/mtbdd/PM_StochExport.cc (100%) rename {src => prism/src}/mtbdd/PM_StochSteadyState.cc (100%) rename {src => prism/src}/mtbdd/PM_StochTransient.cc (100%) rename {src => prism/src}/mtbdd/PrismMTBDD.cc (100%) rename {src => prism/src}/mtbdd/PrismMTBDD.java (100%) rename {src => prism/src}/odd/Makefile (100%) rename {src => prism/src}/odd/ODDNode.java (100%) rename {src => prism/src}/odd/ODDUtils.cc (100%) rename {src => prism/src}/odd/ODDUtils.java (100%) rename {src => prism/src}/odd/odd.cc (100%) rename {src => prism/src}/parser/Command.java (100%) rename {src => prism/src}/parser/ConstantList.java (100%) rename {src => prism/src}/parser/Declaration.java (100%) rename {src => prism/src}/parser/Expression.java (100%) rename {src => prism/src}/parser/ExpressionAnd.java (100%) rename {src => prism/src}/parser/ExpressionBinary.java (100%) rename {src => prism/src}/parser/ExpressionBrackets.java (100%) rename {src => prism/src}/parser/ExpressionConstant.java (100%) rename {src => prism/src}/parser/ExpressionDivide.java (100%) rename {src => prism/src}/parser/ExpressionDouble.java (100%) rename {src => prism/src}/parser/ExpressionFalse.java (100%) rename {src => prism/src}/parser/ExpressionFormula.java (100%) rename {src => prism/src}/parser/ExpressionFunc.java (100%) rename {src => prism/src}/parser/ExpressionITE.java (100%) rename {src => prism/src}/parser/ExpressionIdent.java (100%) rename {src => prism/src}/parser/ExpressionInt.java (100%) rename {src => prism/src}/parser/ExpressionMinus.java (100%) rename {src => prism/src}/parser/ExpressionNary.java (100%) rename {src => prism/src}/parser/ExpressionNot.java (100%) rename {src => prism/src}/parser/ExpressionOr.java (100%) rename {src => prism/src}/parser/ExpressionPlus.java (100%) rename {src => prism/src}/parser/ExpressionRange.java (100%) rename {src => prism/src}/parser/ExpressionRelOp.java (100%) rename {src => prism/src}/parser/ExpressionTimes.java (100%) rename {src => prism/src}/parser/ExpressionTrue.java (100%) rename {src => prism/src}/parser/ExpressionUnary.java (100%) rename {src => prism/src}/parser/ExpressionVar.java (100%) rename {src => prism/src}/parser/ForLoop.java (100%) rename {src => prism/src}/parser/FormulaList.java (100%) rename {src => prism/src}/parser/LabelList.java (100%) rename {src => prism/src}/parser/Makefile (100%) rename {src => prism/src}/parser/Module.java (100%) rename {src => prism/src}/parser/ModulesFile.java (100%) rename {src => prism/src}/parser/NOTES (100%) rename {src => prism/src}/parser/PCTLAnd.java (100%) rename {src => prism/src}/parser/PCTLBrackets.java (100%) rename {src => prism/src}/parser/PCTLExpression.java (100%) rename {src => prism/src}/parser/PCTLFormula.java (100%) rename {src => prism/src}/parser/PCTLFormulaBinary.java (100%) rename {src => prism/src}/parser/PCTLFormulaNary.java (100%) rename {src => prism/src}/parser/PCTLFormulaUnary.java (100%) rename {src => prism/src}/parser/PCTLImplies.java (100%) rename {src => prism/src}/parser/PCTLInit.java (100%) rename {src => prism/src}/parser/PCTLLabel.java (100%) rename {src => prism/src}/parser/PCTLNot.java (100%) rename {src => prism/src}/parser/PCTLOr.java (100%) rename {src => prism/src}/parser/PCTLProb.java (100%) rename {src => prism/src}/parser/PCTLProbBoundedUntil.java (100%) rename {src => prism/src}/parser/PCTLProbNext.java (100%) rename {src => prism/src}/parser/PCTLProbUntil.java (100%) rename {src => prism/src}/parser/PCTLReward.java (100%) rename {src => prism/src}/parser/PCTLRewardCumul.java (100%) rename {src => prism/src}/parser/PCTLRewardInst.java (100%) rename {src => prism/src}/parser/PCTLRewardReach.java (100%) rename {src => prism/src}/parser/PCTLRewardSS.java (100%) rename {src => prism/src}/parser/PCTLSS.java (100%) rename {src => prism/src}/parser/ParseException.java (100%) rename {src => prism/src}/parser/PrismParser.java (100%) rename {src => prism/src}/parser/PrismParser.jj (100%) rename {src => prism/src}/parser/PrismParserConstants.java (100%) rename {src => prism/src}/parser/PrismParserTokenManager.java (100%) rename {src => prism/src}/parser/PrismSyntaxHighlighter.java (100%) rename {src => prism/src}/parser/PropertiesFile.java (100%) rename {src => prism/src}/parser/README (100%) rename {src => prism/src}/parser/RenamedModule.java (100%) rename {src => prism/src}/parser/RewardStruct.java (100%) rename {src => prism/src}/parser/RewardStructItem.java (100%) rename {src => prism/src}/parser/SimpleCharStream.java (100%) rename {src => prism/src}/parser/SystemBrackets.java (100%) rename {src => prism/src}/parser/SystemDefn.java (100%) rename {src => prism/src}/parser/SystemFullParallel.java (100%) rename {src => prism/src}/parser/SystemHide.java (100%) rename {src => prism/src}/parser/SystemInterleaved.java (100%) rename {src => prism/src}/parser/SystemModule.java (100%) rename {src => prism/src}/parser/SystemParallel.java (100%) rename {src => prism/src}/parser/SystemRename.java (100%) rename {src => prism/src}/parser/Token.java (100%) rename {src => prism/src}/parser/TokenMgrError.java (100%) rename {src => prism/src}/parser/Update.java (100%) rename {src => prism/src}/parser/Updates.java (100%) rename {src => prism/src}/parser/Values.java (100%) rename {src => prism/src}/parser/VarList.java (100%) rename {src => prism/src}/pepa/compiler/InternalError.java (100%) rename {src => prism/src}/pepa/compiler/Main.java (100%) rename {src => prism/src}/pepa/compiler/Makefile (100%) rename {src => prism/src}/pepa/src/Alphabets.sig (100%) rename {src => prism/src}/pepa/src/Alphabets.sml (100%) rename {src => prism/src}/pepa/src/COPYING (100%) rename {src => prism/src}/pepa/src/CommandLine.sig (100%) rename {src => prism/src}/pepa/src/CommandLine.sml (100%) rename {src => prism/src}/pepa/src/Debugging.sig (100%) rename {src => prism/src}/pepa/src/Debugging.sml (100%) rename {src => prism/src}/pepa/src/Derivatives.sig (100%) rename {src => prism/src}/pepa/src/Derivatives.sml (100%) rename {src => prism/src}/pepa/src/Error.sig (100%) rename {src => prism/src}/pepa/src/Error.sml (100%) rename {src => prism/src}/pepa/src/Extractor.sig (100%) rename {src => prism/src}/pepa/src/Extractor.sml (100%) rename {src => prism/src}/pepa/src/Files.sig (100%) rename {src => prism/src}/pepa/src/Files.sml (100%) rename {src => prism/src}/pepa/src/JAVA/Makefile (100%) rename {src => prism/src}/pepa/src/JAVA/pepa/compiler/InternalError.java (100%) rename {src => prism/src}/pepa/src/JAVA/pepa/compiler/Main.java (100%) rename {src => prism/src}/pepa/src/Lexer.sig (100%) rename {src => prism/src}/pepa/src/Lexer.sml (100%) rename {src => prism/src}/pepa/src/Lists.sig (100%) rename {src => prism/src}/pepa/src/Lists.sml (100%) rename {src => prism/src}/pepa/src/Makefile (100%) rename {src => prism/src}/pepa/src/Makefile.mosml (100%) rename {src => prism/src}/pepa/src/PEPA2PRISM.sig (100%) rename {src => prism/src}/pepa/src/PEPA2PRISM.sml (100%) rename {src => prism/src}/pepa/src/Parser.sig (100%) rename {src => prism/src}/pepa/src/Parser.sml (100%) rename {src => prism/src}/pepa/src/Pepa.sig (100%) rename {src => prism/src}/pepa/src/Pepa.sml (100%) rename {src => prism/src}/pepa/src/Prettyprinter.sig (100%) rename {src => prism/src}/pepa/src/Prettyprinter.sml (100%) rename {src => prism/src}/pepa/src/README (100%) rename {src => prism/src}/pepa/src/README.TOO (100%) rename {src => prism/src}/pepa/src/Semantic.sig (100%) rename {src => prism/src}/pepa/src/Semantic.sml (100%) rename {src => prism/src}/pepa/src/Sort.sig (100%) rename {src => prism/src}/pepa/src/Sort.sml (100%) rename {src => prism/src}/pepa/src/TESTS/ERRORS/README (100%) rename {src => prism/src}/pepa/src/TESTS/ERRORS/activeactive.pepa (100%) rename {src => prism/src}/pepa/src/TESTS/ERRORS/ratemissing.pepa (100%) rename {src => prism/src}/pepa/src/TESTS/README (100%) rename {src => prism/src}/pepa/src/TESTS/auction.pepa (100%) rename {src => prism/src}/pepa/src/TESTS/auction_pepa.sm (100%) rename {src => prism/src}/pepa/src/TESTS/badge.1.4.pepa (100%) rename {src => prism/src}/pepa/src/TESTS/badge.1.4_pepa.sm (100%) rename {src => prism/src}/pepa/src/TESTS/hiding.pepa (100%) rename {src => prism/src}/pepa/src/TESTS/hiding_pepa.sm (100%) rename {src => prism/src}/pepa/src/TESTS/mobile.pepa (100%) rename {src => prism/src}/pepa/src/TESTS/mobile_pepa.sm (100%) rename {src => prism/src}/pepa/src/TESTS/small.pepa (100%) rename {src => prism/src}/pepa/src/TESTS/small_pepa.sm (100%) rename {src => prism/src}/pepa/src/compiler.sml (100%) rename {src => prism/src}/pepa/src/pepa.mlj (100%) rename {src => prism/src}/pepa/src/pepa.renamed.sml (100%) rename {src => prism/src}/pepa/src/sources.cm (100%) rename {src => prism/src}/prism/DefinedConstant.java (100%) rename {src => prism/src}/prism/DisplayableData.java (100%) rename {src => prism/src}/prism/Explicit2MTBDD.java (100%) rename {src => prism/src}/prism/Expression2MTBDD.java (100%) rename {src => prism/src}/prism/Makefile (100%) rename {src => prism/src}/prism/Model.java (100%) rename {src => prism/src}/prism/ModelChecker.java (100%) rename {src => prism/src}/prism/Modules2MTBDD.java (100%) rename {src => prism/src}/prism/NondetModel.java (100%) rename {src => prism/src}/prism/NondetModelChecker.java (100%) rename {src => prism/src}/prism/Preprocessor.java (100%) rename {src => prism/src}/prism/Prism.java (100%) rename {src => prism/src}/prism/PrismCL.java (100%) rename {src => prism/src}/prism/PrismException.java (100%) rename {src => prism/src}/prism/PrismFileLog.java (100%) rename {src => prism/src}/prism/PrismLog.java (100%) rename {src => prism/src}/prism/PrismSettings.java (100%) rename {src => prism/src}/prism/PrismSettingsListener.java (100%) rename {src => prism/src}/prism/PrismUtils.cc (100%) rename {src => prism/src}/prism/PrismUtils.java (100%) rename {src => prism/src}/prism/ProbModel.java (100%) rename {src => prism/src}/prism/ProbModelChecker.java (100%) rename {src => prism/src}/prism/PropertyConstants.java (100%) rename {src => prism/src}/prism/RangingConstant.java (100%) rename {src => prism/src}/prism/ResultsCollection.java (100%) rename {src => prism/src}/prism/SCCComputer.java (100%) rename {src => prism/src}/prism/StateList.java (100%) rename {src => prism/src}/prism/StateListMTBDD.java (100%) rename {src => prism/src}/prism/StateProbs.java (100%) rename {src => prism/src}/prism/StateProbsDV.java (100%) rename {src => prism/src}/prism/StateProbsMTBDD.java (100%) rename {src => prism/src}/prism/StochModel.java (100%) rename {src => prism/src}/prism/StochModelChecker.java (100%) rename {src => prism/src}/prism/UndefinedConstants.java (100%) rename {src => prism/src}/prism/foxglynn.cc (100%) rename {src => prism/src}/settings/Apple.java (100%) rename {src => prism/src}/settings/BooleanConstraint.java (100%) rename {src => prism/src}/settings/BooleanEditor.java (100%) rename {src => prism/src}/settings/BooleanRenderer.java (100%) rename {src => prism/src}/settings/BooleanSetting.java (100%) rename {src => prism/src}/settings/ChoiceEditor.java (100%) rename {src => prism/src}/settings/ChoiceRenderer.java (100%) rename {src => prism/src}/settings/ChoiceSetting.java (100%) rename {src => prism/src}/settings/ColorConstraint.java (100%) rename {src => prism/src}/settings/ColorEditor.java (100%) rename {src => prism/src}/settings/ColorRenderer.java (100%) rename {src => prism/src}/settings/ColorSetting.java (100%) rename {src => prism/src}/settings/DefaultSettingOwner.java (100%) rename {src => prism/src}/settings/DoubleEditor.java (100%) rename {src => prism/src}/settings/DoubleRangeConstraint.java (100%) rename {src => prism/src}/settings/DoubleRenderer.java (100%) rename {src => prism/src}/settings/DoubleSetting.java (100%) rename {src => prism/src}/settings/FileEditor.java (100%) rename {src => prism/src}/settings/FileRenderer.java (100%) rename {src => prism/src}/settings/FileSelector.java (100%) rename {src => prism/src}/settings/FileSetting.java (100%) rename {src => prism/src}/settings/FontChooser.form (100%) rename {src => prism/src}/settings/FontChooser.java (100%) rename {src => prism/src}/settings/FontColorConstraint.java (100%) rename {src => prism/src}/settings/FontColorEditor.java (100%) rename {src => prism/src}/settings/FontColorPair.java (100%) rename {src => prism/src}/settings/FontColorRenderer.java (100%) rename {src => prism/src}/settings/FontColorSetting.java (100%) rename {src => prism/src}/settings/IntegerEditor.java (100%) rename {src => prism/src}/settings/IntegerRenderer.java (100%) rename {src => prism/src}/settings/IntegerSetting.java (100%) rename {src => prism/src}/settings/Makefile (100%) rename {src => prism/src}/settings/MultipleLineStringEditor.java (100%) rename {src => prism/src}/settings/MultipleLineStringRenderer.java (100%) rename {src => prism/src}/settings/MultipleLineStringSetting.java (100%) rename {src => prism/src}/settings/NumericConstraint.java (100%) rename {src => prism/src}/settings/Orange.java (100%) rename {src => prism/src}/settings/RangeConstraint.java (100%) rename {src => prism/src}/settings/Setting.java (100%) rename {src => prism/src}/settings/SettingConstraint.java (100%) rename {src => prism/src}/settings/SettingDisplay.java (100%) rename {src => prism/src}/settings/SettingEditor.java (100%) rename {src => prism/src}/settings/SettingException.java (100%) rename {src => prism/src}/settings/SettingOwner.java (100%) rename {src => prism/src}/settings/SettingRenderer.java (100%) rename {src => prism/src}/settings/SettingTable.form (100%) rename {src => prism/src}/settings/SettingTable.java (100%) rename {src => prism/src}/settings/SingleLineStringEditor.java (100%) rename {src => prism/src}/settings/SingleLineStringRenderer.java (100%) rename {src => prism/src}/settings/SingleLineStringSetting.java (100%) rename {src => prism/src}/settings/StringConstraint.java (100%) rename {src => prism/src}/settings/TableResizer.java (100%) rename {src => prism/src}/settings/Test.java (100%) rename {src => prism/src}/settings/Test2.form (100%) rename {src => prism/src}/settings/Test2.java (100%) rename {src => prism/src}/simulator/Makefile (100%) rename {src => prism/src}/simulator/NetTest.java (100%) rename {src => prism/src}/simulator/SimulatorEngine.cc (100%) rename {src => prism/src}/simulator/SimulatorEngine.java (100%) rename {src => prism/src}/simulator/SimulatorException.java (100%) rename {src => prism/src}/simulator/networking/FileSystem.java (100%) rename {src => prism/src}/simulator/networking/RemoteHandler.java (100%) rename {src => prism/src}/simulator/networking/SSHHandler.java (100%) rename {src => prism/src}/simulator/networking/SSHHost.java (100%) rename {src => prism/src}/simulator/networking/SimulatorNetworkHandler.java (100%) rename {src => prism/src}/simulator/networking/SimulatorResultsFile.java (100%) rename {src => prism/src}/simulator/old/ExplorationTesting.java (100%) rename {src => prism/src}/simulator/old/ExploreTesting.java (100%) rename {src => prism/src}/simulator/old/ExpressionTesting.java (100%) rename {src => prism/src}/simulator/old/LoadModelTesting.java (100%) rename {src => prism/src}/simulator/old/ManualSimulator.java (100%) rename {src => prism/src}/simulator/old/UpdatesTesting.java (100%) rename {src => prism/src}/simulator/simengine.cc (100%) rename {src => prism/src}/simulator/simexpression.cc (100%) rename {src => prism/src}/simulator/simexpressionbuilder.cc (100%) rename {src => prism/src}/simulator/simformulae.cc (100%) rename {src => prism/src}/simulator/simiohandler.cc (100%) rename {src => prism/src}/simulator/simlog.cc (100%) rename {src => prism/src}/simulator/simmodel.cc (100%) rename {src => prism/src}/simulator/simpath.cc (100%) rename {src => prism/src}/simulator/simpctl.cc (100%) rename {src => prism/src}/simulator/simpctlbuilder.cc (100%) rename {src => prism/src}/simulator/simrandom.cc (100%) rename {src => prism/src}/simulator/simreasoning.cc (100%) rename {src => prism/src}/simulator/simrewardsbuilder.cc (100%) rename {src => prism/src}/simulator/simsampling.cc (100%) rename {src => prism/src}/simulator/simstate.cc (100%) rename {src => prism/src}/simulator/simtest.cc (100%) rename {src => prism/src}/simulator/simtransitionbuilder.cc (100%) rename {src => prism/src}/simulator/simupdater.cc (100%) rename {src => prism/src}/simulator/simutil.cc (100%) rename {src => prism/src}/sparse/Makefile (100%) rename {src => prism/src}/sparse/PS_JOR.cc (100%) rename {src => prism/src}/sparse/PS_NondetBoundedUntil.cc (100%) rename {src => prism/src}/sparse/PS_NondetExport.cc (100%) rename {src => prism/src}/sparse/PS_NondetReachReward.cc (100%) rename {src => prism/src}/sparse/PS_NondetUntil.cc (100%) rename {src => prism/src}/sparse/PS_Power.cc (100%) rename {src => prism/src}/sparse/PS_ProbBoundedUntil.cc (100%) rename {src => prism/src}/sparse/PS_ProbExport.cc (100%) rename {src => prism/src}/sparse/PS_ProbReachReward.cc (100%) rename {src => prism/src}/sparse/PS_ProbUntil.cc (100%) rename {src => prism/src}/sparse/PS_SOR.cc (100%) rename {src => prism/src}/sparse/PS_StochBoundedUntil.cc (100%) rename {src => prism/src}/sparse/PS_StochCumulReward.cc (100%) rename {src => prism/src}/sparse/PS_StochExport.cc (100%) rename {src => prism/src}/sparse/PS_StochSteadyState.cc (100%) rename {src => prism/src}/sparse/PS_StochTransient.cc (100%) rename {src => prism/src}/sparse/PrismSparse.cc (100%) rename {src => prism/src}/sparse/PrismSparse.java (100%) rename {src => prism/src}/sparse/sparse.cc (100%) rename {src => prism/src}/userinterface/GUIClipboard.java (100%) rename {src => prism/src}/userinterface/GUIClipboardEvent.java (100%) rename {src => prism/src}/userinterface/GUIComputationThread.java (100%) rename {src => prism/src}/userinterface/GUIConstantsPicker.form (100%) rename {src => prism/src}/userinterface/GUIConstantsPicker.java (100%) rename {src => prism/src}/userinterface/GUIFileMenu.java (100%) rename {src => prism/src}/userinterface/GUIGeneralOptions.form (100%) rename {src => prism/src}/userinterface/GUIGeneralOptions.java (100%) rename {src => prism/src}/userinterface/GUINetwork.java (100%) rename {src => prism/src}/userinterface/GUINetworkOptions.form (100%) rename {src => prism/src}/userinterface/GUINetworkOptions.java (100%) rename {src => prism/src}/userinterface/GUIOptionsDialog.form (100%) rename {src => prism/src}/userinterface/GUIOptionsDialog.java (100%) rename {src => prism/src}/userinterface/GUIPlugin.java (100%) rename {src => prism/src}/userinterface/GUIPrism.java (100%) rename {src => prism/src}/userinterface/GUIPrismOptionsPanel.form (100%) rename {src => prism/src}/userinterface/GUIPrismSplash.java (100%) rename {src => prism/src}/userinterface/GUISimulationPicker.form (100%) rename {src => prism/src}/userinterface/GUISimulationPicker.java (100%) rename {src => prism/src}/userinterface/GUITaskBar.java (100%) rename {src => prism/src}/userinterface/Makefile (100%) rename {src => prism/src}/userinterface/OptionsPanel.java (100%) rename {src => prism/src}/userinterface/SimulationInformation.java (100%) rename {src => prism/src}/userinterface/log/GUILog.java (100%) rename {src => prism/src}/userinterface/log/GUIVisualLogModel.java (100%) rename {src => prism/src}/userinterface/log/GUIVisualLogger.java (100%) rename {src => prism/src}/userinterface/log/GUIWindowLog.java (100%) rename {src => prism/src}/userinterface/model/GUIModelEditor.java (100%) rename {src => prism/src}/userinterface/model/GUIModelEvent.java (100%) rename {src => prism/src}/userinterface/model/GUIMultiModel.java (100%) rename {src => prism/src}/userinterface/model/GUIMultiModelHandler.java (100%) rename {src => prism/src}/userinterface/model/GUIMultiModelTree.java (100%) rename {src => prism/src}/userinterface/model/GUITextModelEditor.java (100%) rename {src => prism/src}/userinterface/model/GUITransientTime.form (100%) rename {src => prism/src}/userinterface/model/GUITransientTime.java (100%) rename {src => prism/src}/userinterface/model/Style.java (100%) rename {src => prism/src}/userinterface/model/computation/BuildModelThread.java (100%) rename {src => prism/src}/userinterface/model/computation/ComputeSteadyStateThread.java (100%) rename {src => prism/src}/userinterface/model/computation/ComputeTransientThread.java (100%) rename {src => prism/src}/userinterface/model/computation/ExportBuiltModelThread.java (100%) rename {src => prism/src}/userinterface/model/computation/LoadGraphicModelThread.java (100%) rename {src => prism/src}/userinterface/model/computation/LoadPEPAModelThread.java (100%) rename {src => prism/src}/userinterface/model/computation/LoadPRISMModelThread.java (100%) rename {src => prism/src}/userinterface/model/computation/ParseModelThread.java (100%) rename {src => prism/src}/userinterface/model/computation/SaveGraphicModelThread.java (100%) rename {src => prism/src}/userinterface/model/computation/SavePEPAModelThread.java (100%) rename {src => prism/src}/userinterface/model/computation/SavePRISMModelThread.java (100%) rename {src => prism/src}/userinterface/model/graphicModel/Decision.java (100%) rename {src => prism/src}/userinterface/model/graphicModel/ExpressionLabel.java (100%) rename {src => prism/src}/userinterface/model/graphicModel/GUIGraphicModelEditor.java (100%) rename {src => prism/src}/userinterface/model/graphicModel/GraphicModuleContainer.java (100%) rename {src => prism/src}/userinterface/model/graphicModel/GraphicSelection.java (100%) rename {src => prism/src}/userinterface/model/graphicModel/GraphicToolBar.java (100%) rename {src => prism/src}/userinterface/model/graphicModel/ModuleDrawingPane.java (100%) rename {src => prism/src}/userinterface/model/graphicModel/ModuleModel.java (100%) rename {src => prism/src}/userinterface/model/graphicModel/ModulesPanel.java (100%) rename {src => prism/src}/userinterface/model/graphicModel/Nail.java (100%) rename {src => prism/src}/userinterface/model/graphicModel/ProbTransition.java (100%) rename {src => prism/src}/userinterface/model/graphicModel/State.java (100%) rename {src => prism/src}/userinterface/model/graphicModel/StringLabel.java (100%) rename {src => prism/src}/userinterface/model/graphicModel/Transition.java (100%) rename {src => prism/src}/userinterface/model/pepaModel/GUIPepaModelEditor.java (100%) rename {src => prism/src}/userinterface/properties/ConstantHeader.form (100%) rename {src => prism/src}/userinterface/properties/ConstantHeader.java (100%) rename {src => prism/src}/userinterface/properties/ConstantLine.form (100%) rename {src => prism/src}/userinterface/properties/ConstantLine.java (100%) rename {src => prism/src}/userinterface/properties/ConstantPickerList.java (100%) rename {src => prism/src}/userinterface/properties/GUIExperiment.java (100%) rename {src => prism/src}/userinterface/properties/GUIExperimentPicker.form (100%) rename {src => prism/src}/userinterface/properties/GUIExperimentPicker.java (100%) rename {src => prism/src}/userinterface/properties/GUIExperimentTable.java (100%) rename {src => prism/src}/userinterface/properties/GUIGraphHandler.java (100%) rename {src => prism/src}/userinterface/properties/GUIGraphPicker.form (100%) rename {src => prism/src}/userinterface/properties/GUIGraphPicker.java (100%) rename {src => prism/src}/userinterface/properties/GUILabel.java (100%) rename {src => prism/src}/userinterface/properties/GUIMultiProperties.java (100%) rename {src => prism/src}/userinterface/properties/GUIPropConstantList.java (100%) rename {src => prism/src}/userinterface/properties/GUIPropLabelList.java (100%) rename {src => prism/src}/userinterface/properties/GUIPropertiesEvent.java (100%) rename {src => prism/src}/userinterface/properties/GUIPropertiesList.java (100%) rename {src => prism/src}/userinterface/properties/GUIProperty.java (100%) rename {src => prism/src}/userinterface/properties/GUIPropertyEditor.form (100%) rename {src => prism/src}/userinterface/properties/GUIPropertyEditor.java (100%) rename {src => prism/src}/userinterface/properties/GUIPropertyResultDialog.form (100%) rename {src => prism/src}/userinterface/properties/GUIPropertyResultDialog.java (100%) rename {src => prism/src}/userinterface/properties/GUIResultsTable.java (100%) rename {src => prism/src}/userinterface/properties/GraphConstantHeader.form (100%) rename {src => prism/src}/userinterface/properties/GraphConstantHeader.java (100%) rename {src => prism/src}/userinterface/properties/GraphConstantLine.form (100%) rename {src => prism/src}/userinterface/properties/GraphConstantLine.java (100%) rename {src => prism/src}/userinterface/properties/GraphConstantPickerList.java (100%) rename {src => prism/src}/userinterface/properties/computation/ExportResultsThread.java (100%) rename {src => prism/src}/userinterface/properties/computation/LoadPropertiesThread.java (100%) rename {src => prism/src}/userinterface/properties/computation/ModelCheckThread.java (100%) rename {src => prism/src}/userinterface/properties/computation/SavePropertiesThread.java (100%) rename {src => prism/src}/userinterface/properties/computation/SimulateModelCheckThread.java (100%) rename {src => prism/src}/userinterface/simulator/GUIInitialStatePicker.form (100%) rename {src => prism/src}/userinterface/simulator/GUIInitialStatePicker.java (100%) rename {src => prism/src}/userinterface/simulator/GUISimLabelFormulaeList.java (100%) rename {src => prism/src}/userinterface/simulator/GUISimPathFormulaeList.java (100%) rename {src => prism/src}/userinterface/simulator/GUISimulator.form (100%) rename {src => prism/src}/userinterface/simulator/GUISimulator.java (100%) rename {src => prism/src}/userinterface/simulator/GUISimulatorPathTable.java (100%) rename {src => prism/src}/userinterface/simulator/GUISimulatorUpdatesTable.java (100%) rename {src => prism/src}/userinterface/simulator/networking/GUINetworkEditor.form (100%) rename {src => prism/src}/userinterface/simulator/networking/GUINetworkEditor.java (100%) rename {src => prism/src}/userinterface/simulator/networking/GUISimulatorDistributionDialog.form (100%) rename {src => prism/src}/userinterface/simulator/networking/GUISimulatorDistributionDialog.java (100%) rename {src => prism/src}/userinterface/util/BooleanProperty.java (100%) rename {src => prism/src}/userinterface/util/ChoiceProperty.java (100%) rename {src => prism/src}/userinterface/util/ColourProperty.java (100%) rename {src => prism/src}/userinterface/util/DoubleProperty.java (100%) rename {src => prism/src}/userinterface/util/ExpressionProperty.java (100%) rename {src => prism/src}/userinterface/util/FontChooser.form (100%) rename {src => prism/src}/userinterface/util/FontChooser.java (100%) rename {src => prism/src}/userinterface/util/FontColorPair.java (100%) rename {src => prism/src}/userinterface/util/FontColorProperty.java (100%) rename {src => prism/src}/userinterface/util/GUIComputationEvent.java (100%) rename {src => prism/src}/userinterface/util/GUIEvent.java (100%) rename {src => prism/src}/userinterface/util/GUIEventHandler.java (100%) rename {src => prism/src}/userinterface/util/GUIEventListener.java (100%) rename {src => prism/src}/userinterface/util/GUIException.java (100%) rename {src => prism/src}/userinterface/util/GUIExitEvent.java (100%) rename {src => prism/src}/userinterface/util/GUILogEvent.java (100%) rename {src => prism/src}/userinterface/util/GUIPrismFileFilter.java (100%) rename {src => prism/src}/userinterface/util/MultipleProperty.java (100%) rename {src => prism/src}/userinterface/util/PresentationMetalTheme.java (100%) rename {src => prism/src}/userinterface/util/PropertyConstants.java (100%) rename {src => prism/src}/userinterface/util/PropertyException.java (100%) rename {src => prism/src}/userinterface/util/PropertyOwner.java (100%) rename {src => prism/src}/userinterface/util/PropertyTable.form (100%) rename {src => prism/src}/userinterface/util/PropertyTable.java (100%) rename {src => prism/src}/userinterface/util/PropertyTableModel.java (100%) rename {src => prism/src}/userinterface/util/SelectionEvent.java (100%) rename {src => prism/src}/userinterface/util/SelectionListener.java (100%) rename {src => prism/src}/userinterface/util/SelectionModel.java (100%) rename {src => prism/src}/userinterface/util/SeriesDataProperty.java (100%) rename {src => prism/src}/userinterface/util/SingleProperty.java (100%) rename {src => prism/src}/userinterface/util/Test2.form (100%) rename {src => prism/src}/userinterface/util/Test2.java (100%) diff --git a/.java_dir.txt b/prism/.java_dir.txt similarity index 100% rename from .java_dir.txt rename to prism/.java_dir.txt diff --git a/.ostype.txt b/prism/.ostype.txt similarity index 100% rename from .ostype.txt rename to prism/.ostype.txt diff --git a/CHANGELOG.txt b/prism/CHANGELOG.txt similarity index 100% rename from CHANGELOG.txt rename to prism/CHANGELOG.txt diff --git a/COPYING.txt b/prism/COPYING.txt similarity index 100% rename from COPYING.txt rename to prism/COPYING.txt diff --git a/Makefile b/prism/Makefile similarity index 100% rename from Makefile rename to prism/Makefile diff --git a/NOTES b/prism/NOTES similarity index 100% rename from NOTES rename to prism/NOTES diff --git a/README.txt b/prism/README.txt similarity index 100% rename from README.txt rename to prism/README.txt diff --git a/VERSIONS.txt b/prism/VERSIONS.txt similarity index 100% rename from VERSIONS.txt rename to prism/VERSIONS.txt diff --git a/bin/prism b/prism/bin/prism similarity index 100% rename from bin/prism rename to prism/bin/prism diff --git a/bin/prism.bat b/prism/bin/prism.bat similarity index 100% rename from bin/prism.bat rename to prism/bin/prism.bat diff --git a/bin/xprism b/prism/bin/xprism similarity index 100% rename from bin/xprism rename to prism/bin/xprism diff --git a/bin/xprism.bat b/prism/bin/xprism.bat similarity index 100% rename from bin/xprism.bat rename to prism/bin/xprism.bat diff --git a/classes/config/currentOptions.xml b/prism/classes/config/currentOptions.xml similarity index 100% rename from classes/config/currentOptions.xml rename to prism/classes/config/currentOptions.xml diff --git a/classes/dtds/chartformat.dtd b/prism/classes/dtds/chartformat.dtd similarity index 100% rename from classes/dtds/chartformat.dtd rename to prism/classes/dtds/chartformat.dtd diff --git a/classes/dtds/gmo.dtd b/prism/classes/dtds/gmo.dtd similarity index 100% rename from classes/dtds/gmo.dtd rename to prism/classes/dtds/gmo.dtd diff --git a/classes/dtds/options.dtd b/prism/classes/dtds/options.dtd similarity index 100% rename from classes/dtds/options.dtd rename to prism/classes/dtds/options.dtd diff --git a/classes/dtds/prismnetwork.dtd b/prism/classes/dtds/prismnetwork.dtd similarity index 100% rename from classes/dtds/prismnetwork.dtd rename to prism/classes/dtds/prismnetwork.dtd diff --git a/classes/images/barGraph.gif b/prism/classes/images/barGraph.gif similarity index 100% rename from classes/images/barGraph.gif rename to prism/classes/images/barGraph.gif diff --git a/classes/images/drawState.gif b/prism/classes/images/drawState.gif similarity index 100% rename from classes/images/drawState.gif rename to prism/classes/images/drawState.gif diff --git a/classes/images/drawTrans.gif b/prism/classes/images/drawTrans.gif similarity index 100% rename from classes/images/drawTrans.gif rename to prism/classes/images/drawTrans.gif diff --git a/classes/images/genhtml.sh b/prism/classes/images/genhtml.sh similarity index 100% rename from classes/images/genhtml.sh rename to prism/classes/images/genhtml.sh diff --git a/classes/images/greenGrid.gif b/prism/classes/images/greenGrid.gif similarity index 100% rename from classes/images/greenGrid.gif rename to prism/classes/images/greenGrid.gif diff --git a/classes/images/gridSnap.gif b/prism/classes/images/gridSnap.gif similarity index 100% rename from classes/images/gridSnap.gif rename to prism/classes/images/gridSnap.gif diff --git a/classes/images/gridSnapOff.gif b/prism/classes/images/gridSnapOff.gif similarity index 100% rename from classes/images/gridSnapOff.gif rename to prism/classes/images/gridSnapOff.gif diff --git a/classes/images/gridSnapOn.gif b/prism/classes/images/gridSnapOn.gif similarity index 100% rename from classes/images/gridSnapOn.gif rename to prism/classes/images/gridSnapOn.gif diff --git a/classes/images/index.html b/prism/classes/images/index.html similarity index 100% rename from classes/images/index.html rename to prism/classes/images/index.html diff --git a/classes/images/lineGraph.gif b/prism/classes/images/lineGraph.gif similarity index 100% rename from classes/images/lineGraph.gif rename to prism/classes/images/lineGraph.gif diff --git a/classes/images/longLabel.gif b/prism/classes/images/longLabel.gif similarity index 100% rename from classes/images/longLabel.gif rename to prism/classes/images/longLabel.gif diff --git a/classes/images/mouse.gif b/prism/classes/images/mouse.gif similarity index 100% rename from classes/images/mouse.gif rename to prism/classes/images/mouse.gif diff --git a/classes/images/mouseAndMove.gif b/prism/classes/images/mouseAndMove.gif similarity index 100% rename from classes/images/mouseAndMove.gif rename to prism/classes/images/mouseAndMove.gif diff --git a/classes/images/mouseAndTransition.gif b/prism/classes/images/mouseAndTransition.gif similarity index 100% rename from classes/images/mouseAndTransition.gif rename to prism/classes/images/mouseAndTransition.gif diff --git a/classes/images/mouseCross.gif b/prism/classes/images/mouseCross.gif similarity index 100% rename from classes/images/mouseCross.gif rename to prism/classes/images/mouseCross.gif diff --git a/classes/images/mouseCrossZoom.gif b/prism/classes/images/mouseCrossZoom.gif similarity index 100% rename from classes/images/mouseCrossZoom.gif rename to prism/classes/images/mouseCrossZoom.gif diff --git a/classes/images/mouseQuestion.gif b/prism/classes/images/mouseQuestion.gif similarity index 100% rename from classes/images/mouseQuestion.gif rename to prism/classes/images/mouseQuestion.gif diff --git a/classes/images/mouseZoom.gif b/prism/classes/images/mouseZoom.gif similarity index 100% rename from classes/images/mouseZoom.gif rename to prism/classes/images/mouseZoom.gif diff --git a/classes/images/normLabel.gif b/prism/classes/images/normLabel.gif similarity index 100% rename from classes/images/normLabel.gif rename to prism/classes/images/normLabel.gif diff --git a/classes/images/notused/smallBlank.gif b/prism/classes/images/notused/smallBlank.gif similarity index 100% rename from classes/images/notused/smallBlank.gif rename to prism/classes/images/notused/smallBlank.gif diff --git a/classes/images/notused/smallCross.old.gif b/prism/classes/images/notused/smallCross.old.gif similarity index 100% rename from classes/images/notused/smallCross.old.gif rename to prism/classes/images/notused/smallCross.old.gif diff --git a/classes/images/notused/smallError.old.gif b/prism/classes/images/notused/smallError.old.gif similarity index 100% rename from classes/images/notused/smallError.old.gif rename to prism/classes/images/notused/smallError.old.gif diff --git a/classes/images/notused/smallError.other.gif b/prism/classes/images/notused/smallError.other.gif similarity index 100% rename from classes/images/notused/smallError.other.gif rename to prism/classes/images/notused/smallError.other.gif diff --git a/classes/images/notused/smallFind.gif b/prism/classes/images/notused/smallFind.gif similarity index 100% rename from classes/images/notused/smallFind.gif rename to prism/classes/images/notused/smallFind.gif diff --git a/classes/images/notused/smallHistory.gif b/prism/classes/images/notused/smallHistory.gif similarity index 100% rename from classes/images/notused/smallHistory.gif rename to prism/classes/images/notused/smallHistory.gif diff --git a/classes/images/notused/smallPlay.gif b/prism/classes/images/notused/smallPlay.gif similarity index 100% rename from classes/images/notused/smallPlay.gif rename to prism/classes/images/notused/smallPlay.gif diff --git a/classes/images/notused/smallPrint.gif b/prism/classes/images/notused/smallPrint.gif similarity index 100% rename from classes/images/notused/smallPrint.gif rename to prism/classes/images/notused/smallPrint.gif diff --git a/classes/images/notused/smallProperties.gif b/prism/classes/images/notused/smallProperties.gif similarity index 100% rename from classes/images/notused/smallProperties.gif rename to prism/classes/images/notused/smallProperties.gif diff --git a/classes/images/notused/smallQuestion.old.gif b/prism/classes/images/notused/smallQuestion.old.gif similarity index 100% rename from classes/images/notused/smallQuestion.old.gif rename to prism/classes/images/notused/smallQuestion.old.gif diff --git a/classes/images/notused/smallRefresh.gif b/prism/classes/images/notused/smallRefresh.gif similarity index 100% rename from classes/images/notused/smallRefresh.gif rename to prism/classes/images/notused/smallRefresh.gif diff --git a/classes/images/notused/smallReset.gif b/prism/classes/images/notused/smallReset.gif similarity index 100% rename from classes/images/notused/smallReset.gif rename to prism/classes/images/notused/smallReset.gif diff --git a/classes/images/notused/smallStep.gif b/prism/classes/images/notused/smallStep.gif similarity index 100% rename from classes/images/notused/smallStep.gif rename to prism/classes/images/notused/smallStep.gif diff --git a/classes/images/notused/smallStop.gif b/prism/classes/images/notused/smallStop.gif similarity index 100% rename from classes/images/notused/smallStop.gif rename to prism/classes/images/notused/smallStop.gif diff --git a/classes/images/notused/smallTick.old.gif b/prism/classes/images/notused/smallTick.old.gif similarity index 100% rename from classes/images/notused/smallTick.old.gif rename to prism/classes/images/notused/smallTick.old.gif diff --git a/classes/images/notused/smallVerifySelected.gif b/prism/classes/images/notused/smallVerifySelected.gif similarity index 100% rename from classes/images/notused/smallVerifySelected.gif rename to prism/classes/images/notused/smallVerifySelected.gif diff --git a/classes/images/notused/smallWarningTriangle.old.gif b/prism/classes/images/notused/smallWarningTriangle.old.gif similarity index 100% rename from classes/images/notused/smallWarningTriangle.old.gif rename to prism/classes/images/notused/smallWarningTriangle.old.gif diff --git a/classes/images/notused/smallZoom.gif b/prism/classes/images/notused/smallZoom.gif similarity index 100% rename from classes/images/notused/smallZoom.gif rename to prism/classes/images/notused/smallZoom.gif diff --git a/classes/images/probTrans.gif b/prism/classes/images/probTrans.gif similarity index 100% rename from classes/images/probTrans.gif rename to prism/classes/images/probTrans.gif diff --git a/classes/images/redGrid.gif b/prism/classes/images/redGrid.gif similarity index 100% rename from classes/images/redGrid.gif rename to prism/classes/images/redGrid.gif diff --git a/classes/images/select.gif b/prism/classes/images/select.gif similarity index 100% rename from classes/images/select.gif rename to prism/classes/images/select.gif diff --git a/classes/images/smallAdd.gif b/prism/classes/images/smallAdd.gif similarity index 100% rename from classes/images/smallAdd.gif rename to prism/classes/images/smallAdd.gif diff --git a/classes/images/smallAddChoice.gif b/prism/classes/images/smallAddChoice.gif similarity index 100% rename from classes/images/smallAddChoice.gif rename to prism/classes/images/smallAddChoice.gif diff --git a/classes/images/smallAddNail.gif b/prism/classes/images/smallAddNail.gif similarity index 100% rename from classes/images/smallAddNail.gif rename to prism/classes/images/smallAddNail.gif diff --git a/classes/images/smallAddState.gif b/prism/classes/images/smallAddState.gif similarity index 100% rename from classes/images/smallAddState.gif rename to prism/classes/images/smallAddState.gif diff --git a/classes/images/smallAddTransition.gif b/prism/classes/images/smallAddTransition.gif similarity index 100% rename from classes/images/smallAddTransition.gif rename to prism/classes/images/smallAddTransition.gif diff --git a/classes/images/smallAutomaticUpdate.gif b/prism/classes/images/smallAutomaticUpdate.gif similarity index 100% rename from classes/images/smallAutomaticUpdate.gif rename to prism/classes/images/smallAutomaticUpdate.gif diff --git a/classes/images/smallBack.gif b/prism/classes/images/smallBack.gif similarity index 100% rename from classes/images/smallBack.gif rename to prism/classes/images/smallBack.gif diff --git a/classes/images/smallBacktrack.gif b/prism/classes/images/smallBacktrack.gif similarity index 100% rename from classes/images/smallBacktrack.gif rename to prism/classes/images/smallBacktrack.gif diff --git a/classes/images/smallBool.gif b/prism/classes/images/smallBool.gif similarity index 100% rename from classes/images/smallBool.gif rename to prism/classes/images/smallBool.gif diff --git a/classes/images/smallBuild.gif b/prism/classes/images/smallBuild.gif similarity index 100% rename from classes/images/smallBuild.gif rename to prism/classes/images/smallBuild.gif diff --git a/classes/images/smallBuilt.gif b/prism/classes/images/smallBuilt.gif similarity index 100% rename from classes/images/smallBuilt.gif rename to prism/classes/images/smallBuilt.gif diff --git a/classes/images/smallCascade.gif b/prism/classes/images/smallCascade.gif similarity index 100% rename from classes/images/smallCascade.gif rename to prism/classes/images/smallCascade.gif diff --git a/classes/images/smallClearPath.gif b/prism/classes/images/smallClearPath.gif similarity index 100% rename from classes/images/smallClearPath.gif rename to prism/classes/images/smallClearPath.gif diff --git a/classes/images/smallClockAnim1.gif b/prism/classes/images/smallClockAnim1.gif similarity index 100% rename from classes/images/smallClockAnim1.gif rename to prism/classes/images/smallClockAnim1.gif diff --git a/classes/images/smallClockAnim2.gif b/prism/classes/images/smallClockAnim2.gif similarity index 100% rename from classes/images/smallClockAnim2.gif rename to prism/classes/images/smallClockAnim2.gif diff --git a/classes/images/smallClockAnim3.gif b/prism/classes/images/smallClockAnim3.gif similarity index 100% rename from classes/images/smallClockAnim3.gif rename to prism/classes/images/smallClockAnim3.gif diff --git a/classes/images/smallClockAnim4.gif b/prism/classes/images/smallClockAnim4.gif similarity index 100% rename from classes/images/smallClockAnim4.gif rename to prism/classes/images/smallClockAnim4.gif diff --git a/classes/images/smallClockAnim5.gif b/prism/classes/images/smallClockAnim5.gif similarity index 100% rename from classes/images/smallClockAnim5.gif rename to prism/classes/images/smallClockAnim5.gif diff --git a/classes/images/smallClockAnim6.gif b/prism/classes/images/smallClockAnim6.gif similarity index 100% rename from classes/images/smallClockAnim6.gif rename to prism/classes/images/smallClockAnim6.gif diff --git a/classes/images/smallClockAnim7.gif b/prism/classes/images/smallClockAnim7.gif similarity index 100% rename from classes/images/smallClockAnim7.gif rename to prism/classes/images/smallClockAnim7.gif diff --git a/classes/images/smallClockAnim8.gif b/prism/classes/images/smallClockAnim8.gif similarity index 100% rename from classes/images/smallClockAnim8.gif rename to prism/classes/images/smallClockAnim8.gif diff --git a/classes/images/smallCompute.gif b/prism/classes/images/smallCompute.gif similarity index 100% rename from classes/images/smallCompute.gif rename to prism/classes/images/smallCompute.gif diff --git a/classes/images/smallCopy.gif b/prism/classes/images/smallCopy.gif similarity index 100% rename from classes/images/smallCopy.gif rename to prism/classes/images/smallCopy.gif diff --git a/classes/images/smallCrocClosed.gif b/prism/classes/images/smallCrocClosed.gif similarity index 100% rename from classes/images/smallCrocClosed.gif rename to prism/classes/images/smallCrocClosed.gif diff --git a/classes/images/smallCrocOpen.gif b/prism/classes/images/smallCrocOpen.gif similarity index 100% rename from classes/images/smallCrocOpen.gif rename to prism/classes/images/smallCrocOpen.gif diff --git a/classes/images/smallCross.gif b/prism/classes/images/smallCross.gif similarity index 100% rename from classes/images/smallCross.gif rename to prism/classes/images/smallCross.gif diff --git a/classes/images/smallCut.gif b/prism/classes/images/smallCut.gif similarity index 100% rename from classes/images/smallCut.gif rename to prism/classes/images/smallCut.gif diff --git a/classes/images/smallDelete.gif b/prism/classes/images/smallDelete.gif similarity index 100% rename from classes/images/smallDelete.gif rename to prism/classes/images/smallDelete.gif diff --git a/classes/images/smallDetails.gif b/prism/classes/images/smallDetails.gif similarity index 100% rename from classes/images/smallDetails.gif rename to prism/classes/images/smallDetails.gif diff --git a/classes/images/smallDock.gif b/prism/classes/images/smallDock.gif similarity index 100% rename from classes/images/smallDock.gif rename to prism/classes/images/smallDock.gif diff --git a/classes/images/smallDocking.gif b/prism/classes/images/smallDocking.gif similarity index 100% rename from classes/images/smallDocking.gif rename to prism/classes/images/smallDocking.gif diff --git a/classes/images/smallDot.gif b/prism/classes/images/smallDot.gif similarity index 100% rename from classes/images/smallDot.gif rename to prism/classes/images/smallDot.gif diff --git a/classes/images/smallDown.gif b/prism/classes/images/smallDown.gif similarity index 100% rename from classes/images/smallDown.gif rename to prism/classes/images/smallDown.gif diff --git a/classes/images/smallEdit.gif b/prism/classes/images/smallEdit.gif similarity index 100% rename from classes/images/smallEdit.gif rename to prism/classes/images/smallEdit.gif diff --git a/classes/images/smallError.gif b/prism/classes/images/smallError.gif similarity index 100% rename from classes/images/smallError.gif rename to prism/classes/images/smallError.gif diff --git a/classes/images/smallExit.gif b/prism/classes/images/smallExit.gif similarity index 100% rename from classes/images/smallExit.gif rename to prism/classes/images/smallExit.gif diff --git a/classes/images/smallExport.gif b/prism/classes/images/smallExport.gif similarity index 100% rename from classes/images/smallExport.gif rename to prism/classes/images/smallExport.gif diff --git a/classes/images/smallExpression.gif b/prism/classes/images/smallExpression.gif similarity index 100% rename from classes/images/smallExpression.gif rename to prism/classes/images/smallExpression.gif diff --git a/classes/images/smallForward.gif b/prism/classes/images/smallForward.gif similarity index 100% rename from classes/images/smallForward.gif rename to prism/classes/images/smallForward.gif diff --git a/classes/images/smallGlobal.gif b/prism/classes/images/smallGlobal.gif similarity index 100% rename from classes/images/smallGlobal.gif rename to prism/classes/images/smallGlobal.gif diff --git a/classes/images/smallHalt.gif b/prism/classes/images/smallHalt.gif similarity index 100% rename from classes/images/smallHalt.gif rename to prism/classes/images/smallHalt.gif diff --git a/classes/images/smallHost.gif b/prism/classes/images/smallHost.gif similarity index 100% rename from classes/images/smallHost.gif rename to prism/classes/images/smallHost.gif diff --git a/classes/images/smallImport.gif b/prism/classes/images/smallImport.gif similarity index 100% rename from classes/images/smallImport.gif rename to prism/classes/images/smallImport.gif diff --git a/classes/images/smallItemSelected.gif b/prism/classes/images/smallItemSelected.gif similarity index 100% rename from classes/images/smallItemSelected.gif rename to prism/classes/images/smallItemSelected.gif diff --git a/classes/images/smallLayout.gif b/prism/classes/images/smallLayout.gif similarity index 100% rename from classes/images/smallLayout.gif rename to prism/classes/images/smallLayout.gif diff --git a/classes/images/smallLineGraph.gif b/prism/classes/images/smallLineGraph.gif similarity index 100% rename from classes/images/smallLineGraph.gif rename to prism/classes/images/smallLineGraph.gif diff --git a/classes/images/smallManualUpdate.gif b/prism/classes/images/smallManualUpdate.gif similarity index 100% rename from classes/images/smallManualUpdate.gif rename to prism/classes/images/smallManualUpdate.gif diff --git a/classes/images/smallMatlab.gif b/prism/classes/images/smallMatlab.gif similarity index 100% rename from classes/images/smallMatlab.gif rename to prism/classes/images/smallMatlab.gif diff --git a/classes/images/smallModule.gif b/prism/classes/images/smallModule.gif similarity index 100% rename from classes/images/smallModule.gif rename to prism/classes/images/smallModule.gif diff --git a/classes/images/smallNetwork.gif b/prism/classes/images/smallNetwork.gif similarity index 100% rename from classes/images/smallNetwork.gif rename to prism/classes/images/smallNetwork.gif diff --git a/classes/images/smallNew.gif b/prism/classes/images/smallNew.gif similarity index 100% rename from classes/images/smallNew.gif rename to prism/classes/images/smallNew.gif diff --git a/classes/images/smallNewGraphic.gif b/prism/classes/images/smallNewGraphic.gif similarity index 100% rename from classes/images/smallNewGraphic.gif rename to prism/classes/images/smallNewGraphic.gif diff --git a/classes/images/smallNewModule.gif b/prism/classes/images/smallNewModule.gif similarity index 100% rename from classes/images/smallNewModule.gif rename to prism/classes/images/smallNewModule.gif diff --git a/classes/images/smallNewPEPA.gif b/prism/classes/images/smallNewPEPA.gif similarity index 100% rename from classes/images/smallNewPEPA.gif rename to prism/classes/images/smallNewPEPA.gif diff --git a/classes/images/smallNewPath.gif b/prism/classes/images/smallNewPath.gif similarity index 100% rename from classes/images/smallNewPath.gif rename to prism/classes/images/smallNewPath.gif diff --git a/classes/images/smallNewText.gif b/prism/classes/images/smallNewText.gif similarity index 100% rename from classes/images/smallNewText.gif rename to prism/classes/images/smallNewText.gif diff --git a/classes/images/smallNumbers.gif b/prism/classes/images/smallNumbers.gif similarity index 100% rename from classes/images/smallNumbers.gif rename to prism/classes/images/smallNumbers.gif diff --git a/classes/images/smallOpen.gif b/prism/classes/images/smallOpen.gif similarity index 100% rename from classes/images/smallOpen.gif rename to prism/classes/images/smallOpen.gif diff --git a/classes/images/smallOptions.gif b/prism/classes/images/smallOptions.gif similarity index 100% rename from classes/images/smallOptions.gif rename to prism/classes/images/smallOptions.gif diff --git a/classes/images/smallParse.gif b/prism/classes/images/smallParse.gif similarity index 100% rename from classes/images/smallParse.gif rename to prism/classes/images/smallParse.gif diff --git a/classes/images/smallParsed.gif b/prism/classes/images/smallParsed.gif similarity index 100% rename from classes/images/smallParsed.gif rename to prism/classes/images/smallParsed.gif diff --git a/classes/images/smallPaste.gif b/prism/classes/images/smallPaste.gif similarity index 100% rename from classes/images/smallPaste.gif rename to prism/classes/images/smallPaste.gif diff --git a/classes/images/smallPlainText.gif b/prism/classes/images/smallPlainText.gif similarity index 100% rename from classes/images/smallPlainText.gif rename to prism/classes/images/smallPlainText.gif diff --git a/classes/images/smallPrint.gif b/prism/classes/images/smallPrint.gif similarity index 100% rename from classes/images/smallPrint.gif rename to prism/classes/images/smallPrint.gif diff --git a/classes/images/smallPrism.gif b/prism/classes/images/smallPrism.gif similarity index 100% rename from classes/images/smallPrism.gif rename to prism/classes/images/smallPrism.gif diff --git a/classes/images/smallQuestion.gif b/prism/classes/images/smallQuestion.gif similarity index 100% rename from classes/images/smallQuestion.gif rename to prism/classes/images/smallQuestion.gif diff --git a/classes/images/smallReload.gif b/prism/classes/images/smallReload.gif similarity index 100% rename from classes/images/smallReload.gif rename to prism/classes/images/smallReload.gif diff --git a/classes/images/smallRemovePreceding.gif b/prism/classes/images/smallRemovePreceding.gif similarity index 100% rename from classes/images/smallRemovePreceding.gif rename to prism/classes/images/smallRemovePreceding.gif diff --git a/classes/images/smallResetPath.gif b/prism/classes/images/smallResetPath.gif similarity index 100% rename from classes/images/smallResetPath.gif rename to prism/classes/images/smallResetPath.gif diff --git a/classes/images/smallSave.gif b/prism/classes/images/smallSave.gif similarity index 100% rename from classes/images/smallSave.gif rename to prism/classes/images/smallSave.gif diff --git a/classes/images/smallSaveAs.gif b/prism/classes/images/smallSaveAs.gif similarity index 100% rename from classes/images/smallSaveAs.gif rename to prism/classes/images/smallSaveAs.gif diff --git a/classes/images/smallScales.gif b/prism/classes/images/smallScales.gif similarity index 100% rename from classes/images/smallScales.gif rename to prism/classes/images/smallScales.gif diff --git a/classes/images/smallSelectAll.gif b/prism/classes/images/smallSelectAll.gif similarity index 100% rename from classes/images/smallSelectAll.gif rename to prism/classes/images/smallSelectAll.gif diff --git a/classes/images/smallServer.gif b/prism/classes/images/smallServer.gif similarity index 100% rename from classes/images/smallServer.gif rename to prism/classes/images/smallServer.gif diff --git a/classes/images/smallSimulate.gif b/prism/classes/images/smallSimulate.gif similarity index 100% rename from classes/images/smallSimulate.gif rename to prism/classes/images/smallSimulate.gif diff --git a/classes/images/smallSortX.gif b/prism/classes/images/smallSortX.gif similarity index 100% rename from classes/images/smallSortX.gif rename to prism/classes/images/smallSortX.gif diff --git a/classes/images/smallSortY.gif b/prism/classes/images/smallSortY.gif similarity index 100% rename from classes/images/smallSortY.gif rename to prism/classes/images/smallSortY.gif diff --git a/classes/images/smallStates.gif b/prism/classes/images/smallStates.gif similarity index 100% rename from classes/images/smallStates.gif rename to prism/classes/images/smallStates.gif diff --git a/classes/images/smallString.gif b/prism/classes/images/smallString.gif similarity index 100% rename from classes/images/smallString.gif rename to prism/classes/images/smallString.gif diff --git a/classes/images/smallTick.gif b/prism/classes/images/smallTick.gif similarity index 100% rename from classes/images/smallTick.gif rename to prism/classes/images/smallTick.gif diff --git a/classes/images/smallTile.gif b/prism/classes/images/smallTile.gif similarity index 100% rename from classes/images/smallTile.gif rename to prism/classes/images/smallTile.gif diff --git a/classes/images/smallUndock.gif b/prism/classes/images/smallUndock.gif similarity index 100% rename from classes/images/smallUndock.gif rename to prism/classes/images/smallUndock.gif diff --git a/classes/images/smallUp.gif b/prism/classes/images/smallUp.gif similarity index 100% rename from classes/images/smallUp.gif rename to prism/classes/images/smallUp.gif diff --git a/classes/images/smallVariable.gif b/prism/classes/images/smallVariable.gif similarity index 100% rename from classes/images/smallVariable.gif rename to prism/classes/images/smallVariable.gif diff --git a/classes/images/smallVerify.gif b/prism/classes/images/smallVerify.gif similarity index 100% rename from classes/images/smallVerify.gif rename to prism/classes/images/smallVerify.gif diff --git a/classes/images/smallVerifyAll.gif b/prism/classes/images/smallVerifyAll.gif similarity index 100% rename from classes/images/smallVerifyAll.gif rename to prism/classes/images/smallVerifyAll.gif diff --git a/classes/images/smallView.gif b/prism/classes/images/smallView.gif similarity index 100% rename from classes/images/smallView.gif rename to prism/classes/images/smallView.gif diff --git a/classes/images/smallViewParse.gif b/prism/classes/images/smallViewParse.gif similarity index 100% rename from classes/images/smallViewParse.gif rename to prism/classes/images/smallViewParse.gif diff --git a/classes/images/smallViewStates.gif b/prism/classes/images/smallViewStates.gif similarity index 100% rename from classes/images/smallViewStates.gif rename to prism/classes/images/smallViewStates.gif diff --git a/classes/images/smallWarningTriangle.gif b/prism/classes/images/smallWarningTriangle.gif similarity index 100% rename from classes/images/smallWarningTriangle.gif rename to prism/classes/images/smallWarningTriangle.gif diff --git a/classes/images/smallZoom.gif b/prism/classes/images/smallZoom.gif similarity index 100% rename from classes/images/smallZoom.gif rename to prism/classes/images/smallZoom.gif diff --git a/classes/images/smallZoomIn.gif b/prism/classes/images/smallZoomIn.gif similarity index 100% rename from classes/images/smallZoomIn.gif rename to prism/classes/images/smallZoomIn.gif diff --git a/classes/images/smallZoomOut.gif b/prism/classes/images/smallZoomOut.gif similarity index 100% rename from classes/images/smallZoomOut.gif rename to prism/classes/images/smallZoomOut.gif diff --git a/classes/images/splash-old.gif b/prism/classes/images/splash-old.gif similarity index 100% rename from classes/images/splash-old.gif rename to prism/classes/images/splash-old.gif diff --git a/classes/images/splash.gif b/prism/classes/images/splash.gif similarity index 100% rename from classes/images/splash.gif rename to prism/classes/images/splash.gif diff --git a/cudd b/prism/cudd similarity index 100% rename from cudd rename to prism/cudd diff --git a/etc/p16.gif b/prism/etc/p16.gif similarity index 100% rename from etc/p16.gif rename to prism/etc/p16.gif diff --git a/etc/p16.ico b/prism/etc/p16.ico similarity index 100% rename from etc/p16.ico rename to prism/etc/p16.ico diff --git a/etc/p32.gif b/prism/etc/p32.gif similarity index 100% rename from etc/p32.gif rename to prism/etc/p32.gif diff --git a/etc/p32.ico b/prism/etc/p32.ico similarity index 100% rename from etc/p32.ico rename to prism/etc/p32.ico diff --git a/etc/p64.gif b/prism/etc/p64.gif similarity index 100% rename from etc/p64.gif rename to prism/etc/p64.gif diff --git a/etc/p64.ico b/prism/etc/p64.ico similarity index 100% rename from etc/p64.ico rename to prism/etc/p64.ico diff --git a/etc/prism-2.1.dev.pats b/prism/etc/prism-2.1.dev.pats similarity index 100% rename from etc/prism-2.1.dev.pats rename to prism/etc/prism-2.1.dev.pats diff --git a/etc/prism.css b/prism/etc/prism.css similarity index 100% rename from etc/prism.css rename to prism/etc/prism.css diff --git a/etc/prism.tex b/prism/etc/prism.tex similarity index 100% rename from etc/prism.tex rename to prism/etc/prism.tex diff --git a/examples b/prism/examples similarity index 100% rename from examples rename to prism/examples diff --git a/include/DoubleVector.h b/prism/include/DoubleVector.h similarity index 100% rename from include/DoubleVector.h rename to prism/include/DoubleVector.h diff --git a/include/JDD.h b/prism/include/JDD.h similarity index 100% rename from include/JDD.h rename to prism/include/JDD.h diff --git a/include/JDDNode.h b/prism/include/JDDNode.h similarity index 100% rename from include/JDDNode.h rename to prism/include/JDDNode.h diff --git a/include/JDDVars.h b/prism/include/JDDVars.h similarity index 100% rename from include/JDDVars.h rename to prism/include/JDDVars.h diff --git a/include/ODDUtils.h b/prism/include/ODDUtils.h similarity index 100% rename from include/ODDUtils.h rename to prism/include/ODDUtils.h diff --git a/include/PrismHybrid.h b/prism/include/PrismHybrid.h similarity index 100% rename from include/PrismHybrid.h rename to prism/include/PrismHybrid.h diff --git a/include/PrismHybridGlob.h b/prism/include/PrismHybridGlob.h similarity index 100% rename from include/PrismHybridGlob.h rename to prism/include/PrismHybridGlob.h diff --git a/include/PrismMTBDD.h b/prism/include/PrismMTBDD.h similarity index 100% rename from include/PrismMTBDD.h rename to prism/include/PrismMTBDD.h diff --git a/include/PrismMTBDDGlob.h b/prism/include/PrismMTBDDGlob.h similarity index 100% rename from include/PrismMTBDDGlob.h rename to prism/include/PrismMTBDDGlob.h diff --git a/include/PrismSparse.h b/prism/include/PrismSparse.h similarity index 100% rename from include/PrismSparse.h rename to prism/include/PrismSparse.h diff --git a/include/PrismSparseGlob.h b/prism/include/PrismSparseGlob.h similarity index 100% rename from include/PrismSparseGlob.h rename to prism/include/PrismSparseGlob.h diff --git a/include/PrismUtils.h b/prism/include/PrismUtils.h similarity index 100% rename from include/PrismUtils.h rename to prism/include/PrismUtils.h diff --git a/include/SimulatorEngine.h b/prism/include/SimulatorEngine.h similarity index 100% rename from include/SimulatorEngine.h rename to prism/include/SimulatorEngine.h diff --git a/include/dd.h b/prism/include/dd.h similarity index 100% rename from include/dd.h rename to prism/include/dd.h diff --git a/include/dd_abstr.h b/prism/include/dd_abstr.h similarity index 100% rename from include/dd_abstr.h rename to prism/include/dd_abstr.h diff --git a/include/dd_basics.h b/prism/include/dd_basics.h similarity index 100% rename from include/dd_basics.h rename to prism/include/dd_basics.h diff --git a/include/dd_cudd.h b/prism/include/dd_cudd.h similarity index 100% rename from include/dd_cudd.h rename to prism/include/dd_cudd.h diff --git a/include/dd_export.h b/prism/include/dd_export.h similarity index 100% rename from include/dd_export.h rename to prism/include/dd_export.h diff --git a/include/dd_info.h b/prism/include/dd_info.h similarity index 100% rename from include/dd_info.h rename to prism/include/dd_info.h diff --git a/include/dd_matrix.h b/prism/include/dd_matrix.h similarity index 100% rename from include/dd_matrix.h rename to prism/include/dd_matrix.h diff --git a/include/dd_term.h b/prism/include/dd_term.h similarity index 100% rename from include/dd_term.h rename to prism/include/dd_term.h diff --git a/include/dd_vars.h b/prism/include/dd_vars.h similarity index 100% rename from include/dd_vars.h rename to prism/include/dd_vars.h diff --git a/include/dv.h b/prism/include/dv.h similarity index 100% rename from include/dv.h rename to prism/include/dv.h diff --git a/include/foxglynn.h b/prism/include/foxglynn.h similarity index 100% rename from include/foxglynn.h rename to prism/include/foxglynn.h diff --git a/include/hybrid.h b/prism/include/hybrid.h similarity index 100% rename from include/hybrid.h rename to prism/include/hybrid.h diff --git a/include/odd.h b/prism/include/odd.h similarity index 100% rename from include/odd.h rename to prism/include/odd.h diff --git a/include/simengine.h b/prism/include/simengine.h similarity index 100% rename from include/simengine.h rename to prism/include/simengine.h diff --git a/include/simexpression.h b/prism/include/simexpression.h similarity index 100% rename from include/simexpression.h rename to prism/include/simexpression.h diff --git a/include/simformulae.h b/prism/include/simformulae.h similarity index 100% rename from include/simformulae.h rename to prism/include/simformulae.h diff --git a/include/simiohandler.h b/prism/include/simiohandler.h similarity index 100% rename from include/simiohandler.h rename to prism/include/simiohandler.h diff --git a/include/simlog.h b/prism/include/simlog.h similarity index 100% rename from include/simlog.h rename to prism/include/simlog.h diff --git a/include/simmodel.h b/prism/include/simmodel.h similarity index 100% rename from include/simmodel.h rename to prism/include/simmodel.h diff --git a/include/simpath.h b/prism/include/simpath.h similarity index 100% rename from include/simpath.h rename to prism/include/simpath.h diff --git a/include/simpctl.h b/prism/include/simpctl.h similarity index 100% rename from include/simpctl.h rename to prism/include/simpctl.h diff --git a/include/simrandom.h b/prism/include/simrandom.h similarity index 100% rename from include/simrandom.h rename to prism/include/simrandom.h diff --git a/include/simreasoning.h b/prism/include/simreasoning.h similarity index 100% rename from include/simreasoning.h rename to prism/include/simreasoning.h diff --git a/include/simsampling.h b/prism/include/simsampling.h similarity index 100% rename from include/simsampling.h rename to prism/include/simsampling.h diff --git a/include/simstate.h b/prism/include/simstate.h similarity index 100% rename from include/simstate.h rename to prism/include/simstate.h diff --git a/include/simupdater.h b/prism/include/simupdater.h similarity index 100% rename from include/simupdater.h rename to prism/include/simupdater.h diff --git a/include/simutil.h b/prism/include/simutil.h similarity index 100% rename from include/simutil.h rename to prism/include/simutil.h diff --git a/include/sparse.h b/prism/include/sparse.h similarity index 100% rename from include/sparse.h rename to prism/include/sparse.h diff --git a/install.sh b/prism/install.sh similarity index 100% rename from install.sh rename to prism/install.sh diff --git a/lib/pepa.zip b/prism/lib/pepa.zip similarity index 100% rename from lib/pepa.zip rename to prism/lib/pepa.zip diff --git a/src/apmc/Apmc.java b/prism/src/apmc/Apmc.java similarity index 100% rename from src/apmc/Apmc.java rename to prism/src/apmc/Apmc.java diff --git a/src/apmc/ApmcException.java b/prism/src/apmc/ApmcException.java similarity index 100% rename from src/apmc/ApmcException.java rename to prism/src/apmc/ApmcException.java diff --git a/src/apmc/Makefile b/prism/src/apmc/Makefile similarity index 100% rename from src/apmc/Makefile rename to prism/src/apmc/Makefile diff --git a/src/chart/ChartColorChooser.java b/prism/src/chart/ChartColorChooser.java similarity index 100% rename from src/chart/ChartColorChooser.java rename to prism/src/chart/ChartColorChooser.java diff --git a/src/chart/ChartObject.java b/prism/src/chart/ChartObject.java similarity index 100% rename from src/chart/ChartObject.java rename to prism/src/chart/ChartObject.java diff --git a/src/chart/FourBorders.java b/prism/src/chart/FourBorders.java similarity index 100% rename from src/chart/FourBorders.java rename to prism/src/chart/FourBorders.java diff --git a/src/chart/GraphList.java b/prism/src/chart/GraphList.java similarity index 100% rename from src/chart/GraphList.java rename to prism/src/chart/GraphList.java diff --git a/src/chart/GraphListEditor.java b/prism/src/chart/GraphListEditor.java similarity index 100% rename from src/chart/GraphListEditor.java rename to prism/src/chart/GraphListEditor.java diff --git a/src/chart/GraphOptionsPanel.form b/prism/src/chart/GraphOptionsPanel.form similarity index 100% rename from src/chart/GraphOptionsPanel.form rename to prism/src/chart/GraphOptionsPanel.form diff --git a/src/chart/GraphOptionsPanel.java b/prism/src/chart/GraphOptionsPanel.java similarity index 100% rename from src/chart/GraphOptionsPanel.java rename to prism/src/chart/GraphOptionsPanel.java diff --git a/src/chart/GraphPoint.java b/prism/src/chart/GraphPoint.java similarity index 100% rename from src/chart/GraphPoint.java rename to prism/src/chart/GraphPoint.java diff --git a/src/chart/HorizontalGraphBorder.java b/prism/src/chart/HorizontalGraphBorder.java similarity index 100% rename from src/chart/HorizontalGraphBorder.java rename to prism/src/chart/HorizontalGraphBorder.java diff --git a/src/chart/Makefile b/prism/src/chart/Makefile similarity index 100% rename from src/chart/Makefile rename to prism/src/chart/Makefile diff --git a/src/chart/MultiGraphModel.java b/prism/src/chart/MultiGraphModel.java similarity index 100% rename from src/chart/MultiGraphModel.java rename to prism/src/chart/MultiGraphModel.java diff --git a/src/chart/MultiGraphOptions.java b/prism/src/chart/MultiGraphOptions.java similarity index 100% rename from src/chart/MultiGraphOptions.java rename to prism/src/chart/MultiGraphOptions.java diff --git a/src/chart/MultiGraphView.java b/prism/src/chart/MultiGraphView.java similarity index 100% rename from src/chart/MultiGraphView.java rename to prism/src/chart/MultiGraphView.java diff --git a/src/chart/NegativeTest.java b/prism/src/chart/NegativeTest.java similarity index 100% rename from src/chart/NegativeTest.java rename to prism/src/chart/NegativeTest.java diff --git a/src/chart/PrismColorChooserPanel.java b/prism/src/chart/PrismColorChooserPanel.java similarity index 100% rename from src/chart/PrismColorChooserPanel.java rename to prism/src/chart/PrismColorChooserPanel.java diff --git a/src/chart/PrismFileFilter.java b/prism/src/chart/PrismFileFilter.java similarity index 100% rename from src/chart/PrismFileFilter.java rename to prism/src/chart/PrismFileFilter.java diff --git a/src/chart/Resizer.java b/prism/src/chart/Resizer.java similarity index 100% rename from src/chart/Resizer.java rename to prism/src/chart/Resizer.java diff --git a/src/chart/SeriesDataEditor.java b/prism/src/chart/SeriesDataEditor.java similarity index 100% rename from src/chart/SeriesDataEditor.java rename to prism/src/chart/SeriesDataEditor.java diff --git a/src/chart/SeriesDataRenderer.java b/prism/src/chart/SeriesDataRenderer.java similarity index 100% rename from src/chart/SeriesDataRenderer.java rename to prism/src/chart/SeriesDataRenderer.java diff --git a/src/chart/SeriesDataSetting.java b/prism/src/chart/SeriesDataSetting.java similarity index 100% rename from src/chart/SeriesDataSetting.java rename to prism/src/chart/SeriesDataSetting.java diff --git a/src/chart/SeriesList.java b/prism/src/chart/SeriesList.java similarity index 100% rename from src/chart/SeriesList.java rename to prism/src/chart/SeriesList.java diff --git a/src/chart/VerticalGraphBorder.java b/prism/src/chart/VerticalGraphBorder.java similarity index 100% rename from src/chart/VerticalGraphBorder.java rename to prism/src/chart/VerticalGraphBorder.java diff --git a/src/dd/Makefile b/prism/src/dd/Makefile similarity index 100% rename from src/dd/Makefile rename to prism/src/dd/Makefile diff --git a/src/dd/dd.cc b/prism/src/dd/dd.cc similarity index 100% rename from src/dd/dd.cc rename to prism/src/dd/dd.cc diff --git a/src/dd/dd_abstr.cc b/prism/src/dd/dd_abstr.cc similarity index 100% rename from src/dd/dd_abstr.cc rename to prism/src/dd/dd_abstr.cc diff --git a/src/dd/dd_basics.cc b/prism/src/dd/dd_basics.cc similarity index 100% rename from src/dd/dd_basics.cc rename to prism/src/dd/dd_basics.cc diff --git a/src/dd/dd_cudd.cc b/prism/src/dd/dd_cudd.cc similarity index 100% rename from src/dd/dd_cudd.cc rename to prism/src/dd/dd_cudd.cc diff --git a/src/dd/dd_export.cc b/prism/src/dd/dd_export.cc similarity index 100% rename from src/dd/dd_export.cc rename to prism/src/dd/dd_export.cc diff --git a/src/dd/dd_info.cc b/prism/src/dd/dd_info.cc similarity index 100% rename from src/dd/dd_info.cc rename to prism/src/dd/dd_info.cc diff --git a/src/dd/dd_matrix.cc b/prism/src/dd/dd_matrix.cc similarity index 100% rename from src/dd/dd_matrix.cc rename to prism/src/dd/dd_matrix.cc diff --git a/src/dd/dd_term.cc b/prism/src/dd/dd_term.cc similarity index 100% rename from src/dd/dd_term.cc rename to prism/src/dd/dd_term.cc diff --git a/src/dd/dd_test.cc b/prism/src/dd/dd_test.cc similarity index 100% rename from src/dd/dd_test.cc rename to prism/src/dd/dd_test.cc diff --git a/src/dd/dd_vars.cc b/prism/src/dd/dd_vars.cc similarity index 100% rename from src/dd/dd_vars.cc rename to prism/src/dd/dd_vars.cc diff --git a/src/dv/DoubleVector.cc b/prism/src/dv/DoubleVector.cc similarity index 100% rename from src/dv/DoubleVector.cc rename to prism/src/dv/DoubleVector.cc diff --git a/src/dv/DoubleVector.java b/prism/src/dv/DoubleVector.java similarity index 100% rename from src/dv/DoubleVector.java rename to prism/src/dv/DoubleVector.java diff --git a/src/dv/Makefile b/prism/src/dv/Makefile similarity index 100% rename from src/dv/Makefile rename to prism/src/dv/Makefile diff --git a/src/dv/dv.cc b/prism/src/dv/dv.cc similarity index 100% rename from src/dv/dv.cc rename to prism/src/dv/dv.cc diff --git a/src/hybrid/Makefile b/prism/src/hybrid/Makefile similarity index 100% rename from src/hybrid/Makefile rename to prism/src/hybrid/Makefile diff --git a/src/hybrid/PH_JOR.cc b/prism/src/hybrid/PH_JOR.cc similarity index 100% rename from src/hybrid/PH_JOR.cc rename to prism/src/hybrid/PH_JOR.cc diff --git a/src/hybrid/PH_NondetBoundedUntil.cc b/prism/src/hybrid/PH_NondetBoundedUntil.cc similarity index 100% rename from src/hybrid/PH_NondetBoundedUntil.cc rename to prism/src/hybrid/PH_NondetBoundedUntil.cc diff --git a/src/hybrid/PH_NondetReachReward.cc b/prism/src/hybrid/PH_NondetReachReward.cc similarity index 100% rename from src/hybrid/PH_NondetReachReward.cc rename to prism/src/hybrid/PH_NondetReachReward.cc diff --git a/src/hybrid/PH_NondetUntil.cc b/prism/src/hybrid/PH_NondetUntil.cc similarity index 100% rename from src/hybrid/PH_NondetUntil.cc rename to prism/src/hybrid/PH_NondetUntil.cc diff --git a/src/hybrid/PH_PSOR.cc b/prism/src/hybrid/PH_PSOR.cc similarity index 100% rename from src/hybrid/PH_PSOR.cc rename to prism/src/hybrid/PH_PSOR.cc diff --git a/src/hybrid/PH_Power.cc b/prism/src/hybrid/PH_Power.cc similarity index 100% rename from src/hybrid/PH_Power.cc rename to prism/src/hybrid/PH_Power.cc diff --git a/src/hybrid/PH_ProbBoundedUntil.cc b/prism/src/hybrid/PH_ProbBoundedUntil.cc similarity index 100% rename from src/hybrid/PH_ProbBoundedUntil.cc rename to prism/src/hybrid/PH_ProbBoundedUntil.cc diff --git a/src/hybrid/PH_ProbReachReward.cc b/prism/src/hybrid/PH_ProbReachReward.cc similarity index 100% rename from src/hybrid/PH_ProbReachReward.cc rename to prism/src/hybrid/PH_ProbReachReward.cc diff --git a/src/hybrid/PH_ProbUntil.cc b/prism/src/hybrid/PH_ProbUntil.cc similarity index 100% rename from src/hybrid/PH_ProbUntil.cc rename to prism/src/hybrid/PH_ProbUntil.cc diff --git a/src/hybrid/PH_SOR.cc b/prism/src/hybrid/PH_SOR.cc similarity index 100% rename from src/hybrid/PH_SOR.cc rename to prism/src/hybrid/PH_SOR.cc diff --git a/src/hybrid/PH_StochBoundedUntil.cc b/prism/src/hybrid/PH_StochBoundedUntil.cc similarity index 100% rename from src/hybrid/PH_StochBoundedUntil.cc rename to prism/src/hybrid/PH_StochBoundedUntil.cc diff --git a/src/hybrid/PH_StochCumulReward.cc b/prism/src/hybrid/PH_StochCumulReward.cc similarity index 100% rename from src/hybrid/PH_StochCumulReward.cc rename to prism/src/hybrid/PH_StochCumulReward.cc diff --git a/src/hybrid/PH_StochSteadyState.cc b/prism/src/hybrid/PH_StochSteadyState.cc similarity index 100% rename from src/hybrid/PH_StochSteadyState.cc rename to prism/src/hybrid/PH_StochSteadyState.cc diff --git a/src/hybrid/PH_StochTransient.cc b/prism/src/hybrid/PH_StochTransient.cc similarity index 100% rename from src/hybrid/PH_StochTransient.cc rename to prism/src/hybrid/PH_StochTransient.cc diff --git a/src/hybrid/PrismHybrid.cc b/prism/src/hybrid/PrismHybrid.cc similarity index 100% rename from src/hybrid/PrismHybrid.cc rename to prism/src/hybrid/PrismHybrid.cc diff --git a/src/hybrid/PrismHybrid.java b/prism/src/hybrid/PrismHybrid.java similarity index 100% rename from src/hybrid/PrismHybrid.java rename to prism/src/hybrid/PrismHybrid.java diff --git a/src/hybrid/hybrid.cc b/prism/src/hybrid/hybrid.cc similarity index 100% rename from src/hybrid/hybrid.cc rename to prism/src/hybrid/hybrid.cc diff --git a/src/jdd/JDD.cc b/prism/src/jdd/JDD.cc similarity index 100% rename from src/jdd/JDD.cc rename to prism/src/jdd/JDD.cc diff --git a/src/jdd/JDD.java b/prism/src/jdd/JDD.java similarity index 100% rename from src/jdd/JDD.java rename to prism/src/jdd/JDD.java diff --git a/src/jdd/JDDNode.java b/prism/src/jdd/JDDNode.java similarity index 100% rename from src/jdd/JDDNode.java rename to prism/src/jdd/JDDNode.java diff --git a/src/jdd/JDDTest.java b/prism/src/jdd/JDDTest.java similarity index 100% rename from src/jdd/JDDTest.java rename to prism/src/jdd/JDDTest.java diff --git a/src/jdd/JDDVars.java b/prism/src/jdd/JDDVars.java similarity index 100% rename from src/jdd/JDDVars.java rename to prism/src/jdd/JDDVars.java diff --git a/src/jdd/JDDVectorConsumer.java b/prism/src/jdd/JDDVectorConsumer.java similarity index 100% rename from src/jdd/JDDVectorConsumer.java rename to prism/src/jdd/JDDVectorConsumer.java diff --git a/src/jdd/Makefile b/prism/src/jdd/Makefile similarity index 100% rename from src/jdd/Makefile rename to prism/src/jdd/Makefile diff --git a/src/jdd/README b/prism/src/jdd/README similarity index 100% rename from src/jdd/README rename to prism/src/jdd/README diff --git a/src/mtbdd/Makefile b/prism/src/mtbdd/Makefile similarity index 100% rename from src/mtbdd/Makefile rename to prism/src/mtbdd/Makefile diff --git a/src/mtbdd/PM_JOR.cc b/prism/src/mtbdd/PM_JOR.cc similarity index 100% rename from src/mtbdd/PM_JOR.cc rename to prism/src/mtbdd/PM_JOR.cc diff --git a/src/mtbdd/PM_NondetBoundedUntil.cc b/prism/src/mtbdd/PM_NondetBoundedUntil.cc similarity index 100% rename from src/mtbdd/PM_NondetBoundedUntil.cc rename to prism/src/mtbdd/PM_NondetBoundedUntil.cc diff --git a/src/mtbdd/PM_NondetReachReward.cc b/prism/src/mtbdd/PM_NondetReachReward.cc similarity index 100% rename from src/mtbdd/PM_NondetReachReward.cc rename to prism/src/mtbdd/PM_NondetReachReward.cc diff --git a/src/mtbdd/PM_NondetUntil.cc b/prism/src/mtbdd/PM_NondetUntil.cc similarity index 100% rename from src/mtbdd/PM_NondetUntil.cc rename to prism/src/mtbdd/PM_NondetUntil.cc diff --git a/src/mtbdd/PM_Power.cc b/prism/src/mtbdd/PM_Power.cc similarity index 100% rename from src/mtbdd/PM_Power.cc rename to prism/src/mtbdd/PM_Power.cc diff --git a/src/mtbdd/PM_Prob0.cc b/prism/src/mtbdd/PM_Prob0.cc similarity index 100% rename from src/mtbdd/PM_Prob0.cc rename to prism/src/mtbdd/PM_Prob0.cc diff --git a/src/mtbdd/PM_Prob0A.cc b/prism/src/mtbdd/PM_Prob0A.cc similarity index 100% rename from src/mtbdd/PM_Prob0A.cc rename to prism/src/mtbdd/PM_Prob0A.cc diff --git a/src/mtbdd/PM_Prob0E.cc b/prism/src/mtbdd/PM_Prob0E.cc similarity index 100% rename from src/mtbdd/PM_Prob0E.cc rename to prism/src/mtbdd/PM_Prob0E.cc diff --git a/src/mtbdd/PM_Prob1.cc b/prism/src/mtbdd/PM_Prob1.cc similarity index 100% rename from src/mtbdd/PM_Prob1.cc rename to prism/src/mtbdd/PM_Prob1.cc diff --git a/src/mtbdd/PM_Prob1A.cc b/prism/src/mtbdd/PM_Prob1A.cc similarity index 100% rename from src/mtbdd/PM_Prob1A.cc rename to prism/src/mtbdd/PM_Prob1A.cc diff --git a/src/mtbdd/PM_Prob1E.cc b/prism/src/mtbdd/PM_Prob1E.cc similarity index 100% rename from src/mtbdd/PM_Prob1E.cc rename to prism/src/mtbdd/PM_Prob1E.cc diff --git a/src/mtbdd/PM_ProbBoundedUntil.cc b/prism/src/mtbdd/PM_ProbBoundedUntil.cc similarity index 100% rename from src/mtbdd/PM_ProbBoundedUntil.cc rename to prism/src/mtbdd/PM_ProbBoundedUntil.cc diff --git a/src/mtbdd/PM_ProbExport.cc b/prism/src/mtbdd/PM_ProbExport.cc similarity index 100% rename from src/mtbdd/PM_ProbExport.cc rename to prism/src/mtbdd/PM_ProbExport.cc diff --git a/src/mtbdd/PM_ProbReachReward.cc b/prism/src/mtbdd/PM_ProbReachReward.cc similarity index 100% rename from src/mtbdd/PM_ProbReachReward.cc rename to prism/src/mtbdd/PM_ProbReachReward.cc diff --git a/src/mtbdd/PM_ProbUntil.cc b/prism/src/mtbdd/PM_ProbUntil.cc similarity index 100% rename from src/mtbdd/PM_ProbUntil.cc rename to prism/src/mtbdd/PM_ProbUntil.cc diff --git a/src/mtbdd/PM_Reachability.cc b/prism/src/mtbdd/PM_Reachability.cc similarity index 100% rename from src/mtbdd/PM_Reachability.cc rename to prism/src/mtbdd/PM_Reachability.cc diff --git a/src/mtbdd/PM_StochBoundedUntil.cc b/prism/src/mtbdd/PM_StochBoundedUntil.cc similarity index 100% rename from src/mtbdd/PM_StochBoundedUntil.cc rename to prism/src/mtbdd/PM_StochBoundedUntil.cc diff --git a/src/mtbdd/PM_StochCumulReward.cc b/prism/src/mtbdd/PM_StochCumulReward.cc similarity index 100% rename from src/mtbdd/PM_StochCumulReward.cc rename to prism/src/mtbdd/PM_StochCumulReward.cc diff --git a/src/mtbdd/PM_StochExport.cc b/prism/src/mtbdd/PM_StochExport.cc similarity index 100% rename from src/mtbdd/PM_StochExport.cc rename to prism/src/mtbdd/PM_StochExport.cc diff --git a/src/mtbdd/PM_StochSteadyState.cc b/prism/src/mtbdd/PM_StochSteadyState.cc similarity index 100% rename from src/mtbdd/PM_StochSteadyState.cc rename to prism/src/mtbdd/PM_StochSteadyState.cc diff --git a/src/mtbdd/PM_StochTransient.cc b/prism/src/mtbdd/PM_StochTransient.cc similarity index 100% rename from src/mtbdd/PM_StochTransient.cc rename to prism/src/mtbdd/PM_StochTransient.cc diff --git a/src/mtbdd/PrismMTBDD.cc b/prism/src/mtbdd/PrismMTBDD.cc similarity index 100% rename from src/mtbdd/PrismMTBDD.cc rename to prism/src/mtbdd/PrismMTBDD.cc diff --git a/src/mtbdd/PrismMTBDD.java b/prism/src/mtbdd/PrismMTBDD.java similarity index 100% rename from src/mtbdd/PrismMTBDD.java rename to prism/src/mtbdd/PrismMTBDD.java diff --git a/src/odd/Makefile b/prism/src/odd/Makefile similarity index 100% rename from src/odd/Makefile rename to prism/src/odd/Makefile diff --git a/src/odd/ODDNode.java b/prism/src/odd/ODDNode.java similarity index 100% rename from src/odd/ODDNode.java rename to prism/src/odd/ODDNode.java diff --git a/src/odd/ODDUtils.cc b/prism/src/odd/ODDUtils.cc similarity index 100% rename from src/odd/ODDUtils.cc rename to prism/src/odd/ODDUtils.cc diff --git a/src/odd/ODDUtils.java b/prism/src/odd/ODDUtils.java similarity index 100% rename from src/odd/ODDUtils.java rename to prism/src/odd/ODDUtils.java diff --git a/src/odd/odd.cc b/prism/src/odd/odd.cc similarity index 100% rename from src/odd/odd.cc rename to prism/src/odd/odd.cc diff --git a/src/parser/Command.java b/prism/src/parser/Command.java similarity index 100% rename from src/parser/Command.java rename to prism/src/parser/Command.java diff --git a/src/parser/ConstantList.java b/prism/src/parser/ConstantList.java similarity index 100% rename from src/parser/ConstantList.java rename to prism/src/parser/ConstantList.java diff --git a/src/parser/Declaration.java b/prism/src/parser/Declaration.java similarity index 100% rename from src/parser/Declaration.java rename to prism/src/parser/Declaration.java diff --git a/src/parser/Expression.java b/prism/src/parser/Expression.java similarity index 100% rename from src/parser/Expression.java rename to prism/src/parser/Expression.java diff --git a/src/parser/ExpressionAnd.java b/prism/src/parser/ExpressionAnd.java similarity index 100% rename from src/parser/ExpressionAnd.java rename to prism/src/parser/ExpressionAnd.java diff --git a/src/parser/ExpressionBinary.java b/prism/src/parser/ExpressionBinary.java similarity index 100% rename from src/parser/ExpressionBinary.java rename to prism/src/parser/ExpressionBinary.java diff --git a/src/parser/ExpressionBrackets.java b/prism/src/parser/ExpressionBrackets.java similarity index 100% rename from src/parser/ExpressionBrackets.java rename to prism/src/parser/ExpressionBrackets.java diff --git a/src/parser/ExpressionConstant.java b/prism/src/parser/ExpressionConstant.java similarity index 100% rename from src/parser/ExpressionConstant.java rename to prism/src/parser/ExpressionConstant.java diff --git a/src/parser/ExpressionDivide.java b/prism/src/parser/ExpressionDivide.java similarity index 100% rename from src/parser/ExpressionDivide.java rename to prism/src/parser/ExpressionDivide.java diff --git a/src/parser/ExpressionDouble.java b/prism/src/parser/ExpressionDouble.java similarity index 100% rename from src/parser/ExpressionDouble.java rename to prism/src/parser/ExpressionDouble.java diff --git a/src/parser/ExpressionFalse.java b/prism/src/parser/ExpressionFalse.java similarity index 100% rename from src/parser/ExpressionFalse.java rename to prism/src/parser/ExpressionFalse.java diff --git a/src/parser/ExpressionFormula.java b/prism/src/parser/ExpressionFormula.java similarity index 100% rename from src/parser/ExpressionFormula.java rename to prism/src/parser/ExpressionFormula.java diff --git a/src/parser/ExpressionFunc.java b/prism/src/parser/ExpressionFunc.java similarity index 100% rename from src/parser/ExpressionFunc.java rename to prism/src/parser/ExpressionFunc.java diff --git a/src/parser/ExpressionITE.java b/prism/src/parser/ExpressionITE.java similarity index 100% rename from src/parser/ExpressionITE.java rename to prism/src/parser/ExpressionITE.java diff --git a/src/parser/ExpressionIdent.java b/prism/src/parser/ExpressionIdent.java similarity index 100% rename from src/parser/ExpressionIdent.java rename to prism/src/parser/ExpressionIdent.java diff --git a/src/parser/ExpressionInt.java b/prism/src/parser/ExpressionInt.java similarity index 100% rename from src/parser/ExpressionInt.java rename to prism/src/parser/ExpressionInt.java diff --git a/src/parser/ExpressionMinus.java b/prism/src/parser/ExpressionMinus.java similarity index 100% rename from src/parser/ExpressionMinus.java rename to prism/src/parser/ExpressionMinus.java diff --git a/src/parser/ExpressionNary.java b/prism/src/parser/ExpressionNary.java similarity index 100% rename from src/parser/ExpressionNary.java rename to prism/src/parser/ExpressionNary.java diff --git a/src/parser/ExpressionNot.java b/prism/src/parser/ExpressionNot.java similarity index 100% rename from src/parser/ExpressionNot.java rename to prism/src/parser/ExpressionNot.java diff --git a/src/parser/ExpressionOr.java b/prism/src/parser/ExpressionOr.java similarity index 100% rename from src/parser/ExpressionOr.java rename to prism/src/parser/ExpressionOr.java diff --git a/src/parser/ExpressionPlus.java b/prism/src/parser/ExpressionPlus.java similarity index 100% rename from src/parser/ExpressionPlus.java rename to prism/src/parser/ExpressionPlus.java diff --git a/src/parser/ExpressionRange.java b/prism/src/parser/ExpressionRange.java similarity index 100% rename from src/parser/ExpressionRange.java rename to prism/src/parser/ExpressionRange.java diff --git a/src/parser/ExpressionRelOp.java b/prism/src/parser/ExpressionRelOp.java similarity index 100% rename from src/parser/ExpressionRelOp.java rename to prism/src/parser/ExpressionRelOp.java diff --git a/src/parser/ExpressionTimes.java b/prism/src/parser/ExpressionTimes.java similarity index 100% rename from src/parser/ExpressionTimes.java rename to prism/src/parser/ExpressionTimes.java diff --git a/src/parser/ExpressionTrue.java b/prism/src/parser/ExpressionTrue.java similarity index 100% rename from src/parser/ExpressionTrue.java rename to prism/src/parser/ExpressionTrue.java diff --git a/src/parser/ExpressionUnary.java b/prism/src/parser/ExpressionUnary.java similarity index 100% rename from src/parser/ExpressionUnary.java rename to prism/src/parser/ExpressionUnary.java diff --git a/src/parser/ExpressionVar.java b/prism/src/parser/ExpressionVar.java similarity index 100% rename from src/parser/ExpressionVar.java rename to prism/src/parser/ExpressionVar.java diff --git a/src/parser/ForLoop.java b/prism/src/parser/ForLoop.java similarity index 100% rename from src/parser/ForLoop.java rename to prism/src/parser/ForLoop.java diff --git a/src/parser/FormulaList.java b/prism/src/parser/FormulaList.java similarity index 100% rename from src/parser/FormulaList.java rename to prism/src/parser/FormulaList.java diff --git a/src/parser/LabelList.java b/prism/src/parser/LabelList.java similarity index 100% rename from src/parser/LabelList.java rename to prism/src/parser/LabelList.java diff --git a/src/parser/Makefile b/prism/src/parser/Makefile similarity index 100% rename from src/parser/Makefile rename to prism/src/parser/Makefile diff --git a/src/parser/Module.java b/prism/src/parser/Module.java similarity index 100% rename from src/parser/Module.java rename to prism/src/parser/Module.java diff --git a/src/parser/ModulesFile.java b/prism/src/parser/ModulesFile.java similarity index 100% rename from src/parser/ModulesFile.java rename to prism/src/parser/ModulesFile.java diff --git a/src/parser/NOTES b/prism/src/parser/NOTES similarity index 100% rename from src/parser/NOTES rename to prism/src/parser/NOTES diff --git a/src/parser/PCTLAnd.java b/prism/src/parser/PCTLAnd.java similarity index 100% rename from src/parser/PCTLAnd.java rename to prism/src/parser/PCTLAnd.java diff --git a/src/parser/PCTLBrackets.java b/prism/src/parser/PCTLBrackets.java similarity index 100% rename from src/parser/PCTLBrackets.java rename to prism/src/parser/PCTLBrackets.java diff --git a/src/parser/PCTLExpression.java b/prism/src/parser/PCTLExpression.java similarity index 100% rename from src/parser/PCTLExpression.java rename to prism/src/parser/PCTLExpression.java diff --git a/src/parser/PCTLFormula.java b/prism/src/parser/PCTLFormula.java similarity index 100% rename from src/parser/PCTLFormula.java rename to prism/src/parser/PCTLFormula.java diff --git a/src/parser/PCTLFormulaBinary.java b/prism/src/parser/PCTLFormulaBinary.java similarity index 100% rename from src/parser/PCTLFormulaBinary.java rename to prism/src/parser/PCTLFormulaBinary.java diff --git a/src/parser/PCTLFormulaNary.java b/prism/src/parser/PCTLFormulaNary.java similarity index 100% rename from src/parser/PCTLFormulaNary.java rename to prism/src/parser/PCTLFormulaNary.java diff --git a/src/parser/PCTLFormulaUnary.java b/prism/src/parser/PCTLFormulaUnary.java similarity index 100% rename from src/parser/PCTLFormulaUnary.java rename to prism/src/parser/PCTLFormulaUnary.java diff --git a/src/parser/PCTLImplies.java b/prism/src/parser/PCTLImplies.java similarity index 100% rename from src/parser/PCTLImplies.java rename to prism/src/parser/PCTLImplies.java diff --git a/src/parser/PCTLInit.java b/prism/src/parser/PCTLInit.java similarity index 100% rename from src/parser/PCTLInit.java rename to prism/src/parser/PCTLInit.java diff --git a/src/parser/PCTLLabel.java b/prism/src/parser/PCTLLabel.java similarity index 100% rename from src/parser/PCTLLabel.java rename to prism/src/parser/PCTLLabel.java diff --git a/src/parser/PCTLNot.java b/prism/src/parser/PCTLNot.java similarity index 100% rename from src/parser/PCTLNot.java rename to prism/src/parser/PCTLNot.java diff --git a/src/parser/PCTLOr.java b/prism/src/parser/PCTLOr.java similarity index 100% rename from src/parser/PCTLOr.java rename to prism/src/parser/PCTLOr.java diff --git a/src/parser/PCTLProb.java b/prism/src/parser/PCTLProb.java similarity index 100% rename from src/parser/PCTLProb.java rename to prism/src/parser/PCTLProb.java diff --git a/src/parser/PCTLProbBoundedUntil.java b/prism/src/parser/PCTLProbBoundedUntil.java similarity index 100% rename from src/parser/PCTLProbBoundedUntil.java rename to prism/src/parser/PCTLProbBoundedUntil.java diff --git a/src/parser/PCTLProbNext.java b/prism/src/parser/PCTLProbNext.java similarity index 100% rename from src/parser/PCTLProbNext.java rename to prism/src/parser/PCTLProbNext.java diff --git a/src/parser/PCTLProbUntil.java b/prism/src/parser/PCTLProbUntil.java similarity index 100% rename from src/parser/PCTLProbUntil.java rename to prism/src/parser/PCTLProbUntil.java diff --git a/src/parser/PCTLReward.java b/prism/src/parser/PCTLReward.java similarity index 100% rename from src/parser/PCTLReward.java rename to prism/src/parser/PCTLReward.java diff --git a/src/parser/PCTLRewardCumul.java b/prism/src/parser/PCTLRewardCumul.java similarity index 100% rename from src/parser/PCTLRewardCumul.java rename to prism/src/parser/PCTLRewardCumul.java diff --git a/src/parser/PCTLRewardInst.java b/prism/src/parser/PCTLRewardInst.java similarity index 100% rename from src/parser/PCTLRewardInst.java rename to prism/src/parser/PCTLRewardInst.java diff --git a/src/parser/PCTLRewardReach.java b/prism/src/parser/PCTLRewardReach.java similarity index 100% rename from src/parser/PCTLRewardReach.java rename to prism/src/parser/PCTLRewardReach.java diff --git a/src/parser/PCTLRewardSS.java b/prism/src/parser/PCTLRewardSS.java similarity index 100% rename from src/parser/PCTLRewardSS.java rename to prism/src/parser/PCTLRewardSS.java diff --git a/src/parser/PCTLSS.java b/prism/src/parser/PCTLSS.java similarity index 100% rename from src/parser/PCTLSS.java rename to prism/src/parser/PCTLSS.java diff --git a/src/parser/ParseException.java b/prism/src/parser/ParseException.java similarity index 100% rename from src/parser/ParseException.java rename to prism/src/parser/ParseException.java diff --git a/src/parser/PrismParser.java b/prism/src/parser/PrismParser.java similarity index 100% rename from src/parser/PrismParser.java rename to prism/src/parser/PrismParser.java diff --git a/src/parser/PrismParser.jj b/prism/src/parser/PrismParser.jj similarity index 100% rename from src/parser/PrismParser.jj rename to prism/src/parser/PrismParser.jj diff --git a/src/parser/PrismParserConstants.java b/prism/src/parser/PrismParserConstants.java similarity index 100% rename from src/parser/PrismParserConstants.java rename to prism/src/parser/PrismParserConstants.java diff --git a/src/parser/PrismParserTokenManager.java b/prism/src/parser/PrismParserTokenManager.java similarity index 100% rename from src/parser/PrismParserTokenManager.java rename to prism/src/parser/PrismParserTokenManager.java diff --git a/src/parser/PrismSyntaxHighlighter.java b/prism/src/parser/PrismSyntaxHighlighter.java similarity index 100% rename from src/parser/PrismSyntaxHighlighter.java rename to prism/src/parser/PrismSyntaxHighlighter.java diff --git a/src/parser/PropertiesFile.java b/prism/src/parser/PropertiesFile.java similarity index 100% rename from src/parser/PropertiesFile.java rename to prism/src/parser/PropertiesFile.java diff --git a/src/parser/README b/prism/src/parser/README similarity index 100% rename from src/parser/README rename to prism/src/parser/README diff --git a/src/parser/RenamedModule.java b/prism/src/parser/RenamedModule.java similarity index 100% rename from src/parser/RenamedModule.java rename to prism/src/parser/RenamedModule.java diff --git a/src/parser/RewardStruct.java b/prism/src/parser/RewardStruct.java similarity index 100% rename from src/parser/RewardStruct.java rename to prism/src/parser/RewardStruct.java diff --git a/src/parser/RewardStructItem.java b/prism/src/parser/RewardStructItem.java similarity index 100% rename from src/parser/RewardStructItem.java rename to prism/src/parser/RewardStructItem.java diff --git a/src/parser/SimpleCharStream.java b/prism/src/parser/SimpleCharStream.java similarity index 100% rename from src/parser/SimpleCharStream.java rename to prism/src/parser/SimpleCharStream.java diff --git a/src/parser/SystemBrackets.java b/prism/src/parser/SystemBrackets.java similarity index 100% rename from src/parser/SystemBrackets.java rename to prism/src/parser/SystemBrackets.java diff --git a/src/parser/SystemDefn.java b/prism/src/parser/SystemDefn.java similarity index 100% rename from src/parser/SystemDefn.java rename to prism/src/parser/SystemDefn.java diff --git a/src/parser/SystemFullParallel.java b/prism/src/parser/SystemFullParallel.java similarity index 100% rename from src/parser/SystemFullParallel.java rename to prism/src/parser/SystemFullParallel.java diff --git a/src/parser/SystemHide.java b/prism/src/parser/SystemHide.java similarity index 100% rename from src/parser/SystemHide.java rename to prism/src/parser/SystemHide.java diff --git a/src/parser/SystemInterleaved.java b/prism/src/parser/SystemInterleaved.java similarity index 100% rename from src/parser/SystemInterleaved.java rename to prism/src/parser/SystemInterleaved.java diff --git a/src/parser/SystemModule.java b/prism/src/parser/SystemModule.java similarity index 100% rename from src/parser/SystemModule.java rename to prism/src/parser/SystemModule.java diff --git a/src/parser/SystemParallel.java b/prism/src/parser/SystemParallel.java similarity index 100% rename from src/parser/SystemParallel.java rename to prism/src/parser/SystemParallel.java diff --git a/src/parser/SystemRename.java b/prism/src/parser/SystemRename.java similarity index 100% rename from src/parser/SystemRename.java rename to prism/src/parser/SystemRename.java diff --git a/src/parser/Token.java b/prism/src/parser/Token.java similarity index 100% rename from src/parser/Token.java rename to prism/src/parser/Token.java diff --git a/src/parser/TokenMgrError.java b/prism/src/parser/TokenMgrError.java similarity index 100% rename from src/parser/TokenMgrError.java rename to prism/src/parser/TokenMgrError.java diff --git a/src/parser/Update.java b/prism/src/parser/Update.java similarity index 100% rename from src/parser/Update.java rename to prism/src/parser/Update.java diff --git a/src/parser/Updates.java b/prism/src/parser/Updates.java similarity index 100% rename from src/parser/Updates.java rename to prism/src/parser/Updates.java diff --git a/src/parser/Values.java b/prism/src/parser/Values.java similarity index 100% rename from src/parser/Values.java rename to prism/src/parser/Values.java diff --git a/src/parser/VarList.java b/prism/src/parser/VarList.java similarity index 100% rename from src/parser/VarList.java rename to prism/src/parser/VarList.java diff --git a/src/pepa/compiler/InternalError.java b/prism/src/pepa/compiler/InternalError.java similarity index 100% rename from src/pepa/compiler/InternalError.java rename to prism/src/pepa/compiler/InternalError.java diff --git a/src/pepa/compiler/Main.java b/prism/src/pepa/compiler/Main.java similarity index 100% rename from src/pepa/compiler/Main.java rename to prism/src/pepa/compiler/Main.java diff --git a/src/pepa/compiler/Makefile b/prism/src/pepa/compiler/Makefile similarity index 100% rename from src/pepa/compiler/Makefile rename to prism/src/pepa/compiler/Makefile diff --git a/src/pepa/src/Alphabets.sig b/prism/src/pepa/src/Alphabets.sig similarity index 100% rename from src/pepa/src/Alphabets.sig rename to prism/src/pepa/src/Alphabets.sig diff --git a/src/pepa/src/Alphabets.sml b/prism/src/pepa/src/Alphabets.sml similarity index 100% rename from src/pepa/src/Alphabets.sml rename to prism/src/pepa/src/Alphabets.sml diff --git a/src/pepa/src/COPYING b/prism/src/pepa/src/COPYING similarity index 100% rename from src/pepa/src/COPYING rename to prism/src/pepa/src/COPYING diff --git a/src/pepa/src/CommandLine.sig b/prism/src/pepa/src/CommandLine.sig similarity index 100% rename from src/pepa/src/CommandLine.sig rename to prism/src/pepa/src/CommandLine.sig diff --git a/src/pepa/src/CommandLine.sml b/prism/src/pepa/src/CommandLine.sml similarity index 100% rename from src/pepa/src/CommandLine.sml rename to prism/src/pepa/src/CommandLine.sml diff --git a/src/pepa/src/Debugging.sig b/prism/src/pepa/src/Debugging.sig similarity index 100% rename from src/pepa/src/Debugging.sig rename to prism/src/pepa/src/Debugging.sig diff --git a/src/pepa/src/Debugging.sml b/prism/src/pepa/src/Debugging.sml similarity index 100% rename from src/pepa/src/Debugging.sml rename to prism/src/pepa/src/Debugging.sml diff --git a/src/pepa/src/Derivatives.sig b/prism/src/pepa/src/Derivatives.sig similarity index 100% rename from src/pepa/src/Derivatives.sig rename to prism/src/pepa/src/Derivatives.sig diff --git a/src/pepa/src/Derivatives.sml b/prism/src/pepa/src/Derivatives.sml similarity index 100% rename from src/pepa/src/Derivatives.sml rename to prism/src/pepa/src/Derivatives.sml diff --git a/src/pepa/src/Error.sig b/prism/src/pepa/src/Error.sig similarity index 100% rename from src/pepa/src/Error.sig rename to prism/src/pepa/src/Error.sig diff --git a/src/pepa/src/Error.sml b/prism/src/pepa/src/Error.sml similarity index 100% rename from src/pepa/src/Error.sml rename to prism/src/pepa/src/Error.sml diff --git a/src/pepa/src/Extractor.sig b/prism/src/pepa/src/Extractor.sig similarity index 100% rename from src/pepa/src/Extractor.sig rename to prism/src/pepa/src/Extractor.sig diff --git a/src/pepa/src/Extractor.sml b/prism/src/pepa/src/Extractor.sml similarity index 100% rename from src/pepa/src/Extractor.sml rename to prism/src/pepa/src/Extractor.sml diff --git a/src/pepa/src/Files.sig b/prism/src/pepa/src/Files.sig similarity index 100% rename from src/pepa/src/Files.sig rename to prism/src/pepa/src/Files.sig diff --git a/src/pepa/src/Files.sml b/prism/src/pepa/src/Files.sml similarity index 100% rename from src/pepa/src/Files.sml rename to prism/src/pepa/src/Files.sml diff --git a/src/pepa/src/JAVA/Makefile b/prism/src/pepa/src/JAVA/Makefile similarity index 100% rename from src/pepa/src/JAVA/Makefile rename to prism/src/pepa/src/JAVA/Makefile diff --git a/src/pepa/src/JAVA/pepa/compiler/InternalError.java b/prism/src/pepa/src/JAVA/pepa/compiler/InternalError.java similarity index 100% rename from src/pepa/src/JAVA/pepa/compiler/InternalError.java rename to prism/src/pepa/src/JAVA/pepa/compiler/InternalError.java diff --git a/src/pepa/src/JAVA/pepa/compiler/Main.java b/prism/src/pepa/src/JAVA/pepa/compiler/Main.java similarity index 100% rename from src/pepa/src/JAVA/pepa/compiler/Main.java rename to prism/src/pepa/src/JAVA/pepa/compiler/Main.java diff --git a/src/pepa/src/Lexer.sig b/prism/src/pepa/src/Lexer.sig similarity index 100% rename from src/pepa/src/Lexer.sig rename to prism/src/pepa/src/Lexer.sig diff --git a/src/pepa/src/Lexer.sml b/prism/src/pepa/src/Lexer.sml similarity index 100% rename from src/pepa/src/Lexer.sml rename to prism/src/pepa/src/Lexer.sml diff --git a/src/pepa/src/Lists.sig b/prism/src/pepa/src/Lists.sig similarity index 100% rename from src/pepa/src/Lists.sig rename to prism/src/pepa/src/Lists.sig diff --git a/src/pepa/src/Lists.sml b/prism/src/pepa/src/Lists.sml similarity index 100% rename from src/pepa/src/Lists.sml rename to prism/src/pepa/src/Lists.sml diff --git a/src/pepa/src/Makefile b/prism/src/pepa/src/Makefile similarity index 100% rename from src/pepa/src/Makefile rename to prism/src/pepa/src/Makefile diff --git a/src/pepa/src/Makefile.mosml b/prism/src/pepa/src/Makefile.mosml similarity index 100% rename from src/pepa/src/Makefile.mosml rename to prism/src/pepa/src/Makefile.mosml diff --git a/src/pepa/src/PEPA2PRISM.sig b/prism/src/pepa/src/PEPA2PRISM.sig similarity index 100% rename from src/pepa/src/PEPA2PRISM.sig rename to prism/src/pepa/src/PEPA2PRISM.sig diff --git a/src/pepa/src/PEPA2PRISM.sml b/prism/src/pepa/src/PEPA2PRISM.sml similarity index 100% rename from src/pepa/src/PEPA2PRISM.sml rename to prism/src/pepa/src/PEPA2PRISM.sml diff --git a/src/pepa/src/Parser.sig b/prism/src/pepa/src/Parser.sig similarity index 100% rename from src/pepa/src/Parser.sig rename to prism/src/pepa/src/Parser.sig diff --git a/src/pepa/src/Parser.sml b/prism/src/pepa/src/Parser.sml similarity index 100% rename from src/pepa/src/Parser.sml rename to prism/src/pepa/src/Parser.sml diff --git a/src/pepa/src/Pepa.sig b/prism/src/pepa/src/Pepa.sig similarity index 100% rename from src/pepa/src/Pepa.sig rename to prism/src/pepa/src/Pepa.sig diff --git a/src/pepa/src/Pepa.sml b/prism/src/pepa/src/Pepa.sml similarity index 100% rename from src/pepa/src/Pepa.sml rename to prism/src/pepa/src/Pepa.sml diff --git a/src/pepa/src/Prettyprinter.sig b/prism/src/pepa/src/Prettyprinter.sig similarity index 100% rename from src/pepa/src/Prettyprinter.sig rename to prism/src/pepa/src/Prettyprinter.sig diff --git a/src/pepa/src/Prettyprinter.sml b/prism/src/pepa/src/Prettyprinter.sml similarity index 100% rename from src/pepa/src/Prettyprinter.sml rename to prism/src/pepa/src/Prettyprinter.sml diff --git a/src/pepa/src/README b/prism/src/pepa/src/README similarity index 100% rename from src/pepa/src/README rename to prism/src/pepa/src/README diff --git a/src/pepa/src/README.TOO b/prism/src/pepa/src/README.TOO similarity index 100% rename from src/pepa/src/README.TOO rename to prism/src/pepa/src/README.TOO diff --git a/src/pepa/src/Semantic.sig b/prism/src/pepa/src/Semantic.sig similarity index 100% rename from src/pepa/src/Semantic.sig rename to prism/src/pepa/src/Semantic.sig diff --git a/src/pepa/src/Semantic.sml b/prism/src/pepa/src/Semantic.sml similarity index 100% rename from src/pepa/src/Semantic.sml rename to prism/src/pepa/src/Semantic.sml diff --git a/src/pepa/src/Sort.sig b/prism/src/pepa/src/Sort.sig similarity index 100% rename from src/pepa/src/Sort.sig rename to prism/src/pepa/src/Sort.sig diff --git a/src/pepa/src/Sort.sml b/prism/src/pepa/src/Sort.sml similarity index 100% rename from src/pepa/src/Sort.sml rename to prism/src/pepa/src/Sort.sml diff --git a/src/pepa/src/TESTS/ERRORS/README b/prism/src/pepa/src/TESTS/ERRORS/README similarity index 100% rename from src/pepa/src/TESTS/ERRORS/README rename to prism/src/pepa/src/TESTS/ERRORS/README diff --git a/src/pepa/src/TESTS/ERRORS/activeactive.pepa b/prism/src/pepa/src/TESTS/ERRORS/activeactive.pepa similarity index 100% rename from src/pepa/src/TESTS/ERRORS/activeactive.pepa rename to prism/src/pepa/src/TESTS/ERRORS/activeactive.pepa diff --git a/src/pepa/src/TESTS/ERRORS/ratemissing.pepa b/prism/src/pepa/src/TESTS/ERRORS/ratemissing.pepa similarity index 100% rename from src/pepa/src/TESTS/ERRORS/ratemissing.pepa rename to prism/src/pepa/src/TESTS/ERRORS/ratemissing.pepa diff --git a/src/pepa/src/TESTS/README b/prism/src/pepa/src/TESTS/README similarity index 100% rename from src/pepa/src/TESTS/README rename to prism/src/pepa/src/TESTS/README diff --git a/src/pepa/src/TESTS/auction.pepa b/prism/src/pepa/src/TESTS/auction.pepa similarity index 100% rename from src/pepa/src/TESTS/auction.pepa rename to prism/src/pepa/src/TESTS/auction.pepa diff --git a/src/pepa/src/TESTS/auction_pepa.sm b/prism/src/pepa/src/TESTS/auction_pepa.sm similarity index 100% rename from src/pepa/src/TESTS/auction_pepa.sm rename to prism/src/pepa/src/TESTS/auction_pepa.sm diff --git a/src/pepa/src/TESTS/badge.1.4.pepa b/prism/src/pepa/src/TESTS/badge.1.4.pepa similarity index 100% rename from src/pepa/src/TESTS/badge.1.4.pepa rename to prism/src/pepa/src/TESTS/badge.1.4.pepa diff --git a/src/pepa/src/TESTS/badge.1.4_pepa.sm b/prism/src/pepa/src/TESTS/badge.1.4_pepa.sm similarity index 100% rename from src/pepa/src/TESTS/badge.1.4_pepa.sm rename to prism/src/pepa/src/TESTS/badge.1.4_pepa.sm diff --git a/src/pepa/src/TESTS/hiding.pepa b/prism/src/pepa/src/TESTS/hiding.pepa similarity index 100% rename from src/pepa/src/TESTS/hiding.pepa rename to prism/src/pepa/src/TESTS/hiding.pepa diff --git a/src/pepa/src/TESTS/hiding_pepa.sm b/prism/src/pepa/src/TESTS/hiding_pepa.sm similarity index 100% rename from src/pepa/src/TESTS/hiding_pepa.sm rename to prism/src/pepa/src/TESTS/hiding_pepa.sm diff --git a/src/pepa/src/TESTS/mobile.pepa b/prism/src/pepa/src/TESTS/mobile.pepa similarity index 100% rename from src/pepa/src/TESTS/mobile.pepa rename to prism/src/pepa/src/TESTS/mobile.pepa diff --git a/src/pepa/src/TESTS/mobile_pepa.sm b/prism/src/pepa/src/TESTS/mobile_pepa.sm similarity index 100% rename from src/pepa/src/TESTS/mobile_pepa.sm rename to prism/src/pepa/src/TESTS/mobile_pepa.sm diff --git a/src/pepa/src/TESTS/small.pepa b/prism/src/pepa/src/TESTS/small.pepa similarity index 100% rename from src/pepa/src/TESTS/small.pepa rename to prism/src/pepa/src/TESTS/small.pepa diff --git a/src/pepa/src/TESTS/small_pepa.sm b/prism/src/pepa/src/TESTS/small_pepa.sm similarity index 100% rename from src/pepa/src/TESTS/small_pepa.sm rename to prism/src/pepa/src/TESTS/small_pepa.sm diff --git a/src/pepa/src/compiler.sml b/prism/src/pepa/src/compiler.sml similarity index 100% rename from src/pepa/src/compiler.sml rename to prism/src/pepa/src/compiler.sml diff --git a/src/pepa/src/pepa.mlj b/prism/src/pepa/src/pepa.mlj similarity index 100% rename from src/pepa/src/pepa.mlj rename to prism/src/pepa/src/pepa.mlj diff --git a/src/pepa/src/pepa.renamed.sml b/prism/src/pepa/src/pepa.renamed.sml similarity index 100% rename from src/pepa/src/pepa.renamed.sml rename to prism/src/pepa/src/pepa.renamed.sml diff --git a/src/pepa/src/sources.cm b/prism/src/pepa/src/sources.cm similarity index 100% rename from src/pepa/src/sources.cm rename to prism/src/pepa/src/sources.cm diff --git a/src/prism/DefinedConstant.java b/prism/src/prism/DefinedConstant.java similarity index 100% rename from src/prism/DefinedConstant.java rename to prism/src/prism/DefinedConstant.java diff --git a/src/prism/DisplayableData.java b/prism/src/prism/DisplayableData.java similarity index 100% rename from src/prism/DisplayableData.java rename to prism/src/prism/DisplayableData.java diff --git a/src/prism/Explicit2MTBDD.java b/prism/src/prism/Explicit2MTBDD.java similarity index 100% rename from src/prism/Explicit2MTBDD.java rename to prism/src/prism/Explicit2MTBDD.java diff --git a/src/prism/Expression2MTBDD.java b/prism/src/prism/Expression2MTBDD.java similarity index 100% rename from src/prism/Expression2MTBDD.java rename to prism/src/prism/Expression2MTBDD.java diff --git a/src/prism/Makefile b/prism/src/prism/Makefile similarity index 100% rename from src/prism/Makefile rename to prism/src/prism/Makefile diff --git a/src/prism/Model.java b/prism/src/prism/Model.java similarity index 100% rename from src/prism/Model.java rename to prism/src/prism/Model.java diff --git a/src/prism/ModelChecker.java b/prism/src/prism/ModelChecker.java similarity index 100% rename from src/prism/ModelChecker.java rename to prism/src/prism/ModelChecker.java diff --git a/src/prism/Modules2MTBDD.java b/prism/src/prism/Modules2MTBDD.java similarity index 100% rename from src/prism/Modules2MTBDD.java rename to prism/src/prism/Modules2MTBDD.java diff --git a/src/prism/NondetModel.java b/prism/src/prism/NondetModel.java similarity index 100% rename from src/prism/NondetModel.java rename to prism/src/prism/NondetModel.java diff --git a/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java similarity index 100% rename from src/prism/NondetModelChecker.java rename to prism/src/prism/NondetModelChecker.java diff --git a/src/prism/Preprocessor.java b/prism/src/prism/Preprocessor.java similarity index 100% rename from src/prism/Preprocessor.java rename to prism/src/prism/Preprocessor.java diff --git a/src/prism/Prism.java b/prism/src/prism/Prism.java similarity index 100% rename from src/prism/Prism.java rename to prism/src/prism/Prism.java diff --git a/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java similarity index 100% rename from src/prism/PrismCL.java rename to prism/src/prism/PrismCL.java diff --git a/src/prism/PrismException.java b/prism/src/prism/PrismException.java similarity index 100% rename from src/prism/PrismException.java rename to prism/src/prism/PrismException.java diff --git a/src/prism/PrismFileLog.java b/prism/src/prism/PrismFileLog.java similarity index 100% rename from src/prism/PrismFileLog.java rename to prism/src/prism/PrismFileLog.java diff --git a/src/prism/PrismLog.java b/prism/src/prism/PrismLog.java similarity index 100% rename from src/prism/PrismLog.java rename to prism/src/prism/PrismLog.java diff --git a/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java similarity index 100% rename from src/prism/PrismSettings.java rename to prism/src/prism/PrismSettings.java diff --git a/src/prism/PrismSettingsListener.java b/prism/src/prism/PrismSettingsListener.java similarity index 100% rename from src/prism/PrismSettingsListener.java rename to prism/src/prism/PrismSettingsListener.java diff --git a/src/prism/PrismUtils.cc b/prism/src/prism/PrismUtils.cc similarity index 100% rename from src/prism/PrismUtils.cc rename to prism/src/prism/PrismUtils.cc diff --git a/src/prism/PrismUtils.java b/prism/src/prism/PrismUtils.java similarity index 100% rename from src/prism/PrismUtils.java rename to prism/src/prism/PrismUtils.java diff --git a/src/prism/ProbModel.java b/prism/src/prism/ProbModel.java similarity index 100% rename from src/prism/ProbModel.java rename to prism/src/prism/ProbModel.java diff --git a/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java similarity index 100% rename from src/prism/ProbModelChecker.java rename to prism/src/prism/ProbModelChecker.java diff --git a/src/prism/PropertyConstants.java b/prism/src/prism/PropertyConstants.java similarity index 100% rename from src/prism/PropertyConstants.java rename to prism/src/prism/PropertyConstants.java diff --git a/src/prism/RangingConstant.java b/prism/src/prism/RangingConstant.java similarity index 100% rename from src/prism/RangingConstant.java rename to prism/src/prism/RangingConstant.java diff --git a/src/prism/ResultsCollection.java b/prism/src/prism/ResultsCollection.java similarity index 100% rename from src/prism/ResultsCollection.java rename to prism/src/prism/ResultsCollection.java diff --git a/src/prism/SCCComputer.java b/prism/src/prism/SCCComputer.java similarity index 100% rename from src/prism/SCCComputer.java rename to prism/src/prism/SCCComputer.java diff --git a/src/prism/StateList.java b/prism/src/prism/StateList.java similarity index 100% rename from src/prism/StateList.java rename to prism/src/prism/StateList.java diff --git a/src/prism/StateListMTBDD.java b/prism/src/prism/StateListMTBDD.java similarity index 100% rename from src/prism/StateListMTBDD.java rename to prism/src/prism/StateListMTBDD.java diff --git a/src/prism/StateProbs.java b/prism/src/prism/StateProbs.java similarity index 100% rename from src/prism/StateProbs.java rename to prism/src/prism/StateProbs.java diff --git a/src/prism/StateProbsDV.java b/prism/src/prism/StateProbsDV.java similarity index 100% rename from src/prism/StateProbsDV.java rename to prism/src/prism/StateProbsDV.java diff --git a/src/prism/StateProbsMTBDD.java b/prism/src/prism/StateProbsMTBDD.java similarity index 100% rename from src/prism/StateProbsMTBDD.java rename to prism/src/prism/StateProbsMTBDD.java diff --git a/src/prism/StochModel.java b/prism/src/prism/StochModel.java similarity index 100% rename from src/prism/StochModel.java rename to prism/src/prism/StochModel.java diff --git a/src/prism/StochModelChecker.java b/prism/src/prism/StochModelChecker.java similarity index 100% rename from src/prism/StochModelChecker.java rename to prism/src/prism/StochModelChecker.java diff --git a/src/prism/UndefinedConstants.java b/prism/src/prism/UndefinedConstants.java similarity index 100% rename from src/prism/UndefinedConstants.java rename to prism/src/prism/UndefinedConstants.java diff --git a/src/prism/foxglynn.cc b/prism/src/prism/foxglynn.cc similarity index 100% rename from src/prism/foxglynn.cc rename to prism/src/prism/foxglynn.cc diff --git a/src/settings/Apple.java b/prism/src/settings/Apple.java similarity index 100% rename from src/settings/Apple.java rename to prism/src/settings/Apple.java diff --git a/src/settings/BooleanConstraint.java b/prism/src/settings/BooleanConstraint.java similarity index 100% rename from src/settings/BooleanConstraint.java rename to prism/src/settings/BooleanConstraint.java diff --git a/src/settings/BooleanEditor.java b/prism/src/settings/BooleanEditor.java similarity index 100% rename from src/settings/BooleanEditor.java rename to prism/src/settings/BooleanEditor.java diff --git a/src/settings/BooleanRenderer.java b/prism/src/settings/BooleanRenderer.java similarity index 100% rename from src/settings/BooleanRenderer.java rename to prism/src/settings/BooleanRenderer.java diff --git a/src/settings/BooleanSetting.java b/prism/src/settings/BooleanSetting.java similarity index 100% rename from src/settings/BooleanSetting.java rename to prism/src/settings/BooleanSetting.java diff --git a/src/settings/ChoiceEditor.java b/prism/src/settings/ChoiceEditor.java similarity index 100% rename from src/settings/ChoiceEditor.java rename to prism/src/settings/ChoiceEditor.java diff --git a/src/settings/ChoiceRenderer.java b/prism/src/settings/ChoiceRenderer.java similarity index 100% rename from src/settings/ChoiceRenderer.java rename to prism/src/settings/ChoiceRenderer.java diff --git a/src/settings/ChoiceSetting.java b/prism/src/settings/ChoiceSetting.java similarity index 100% rename from src/settings/ChoiceSetting.java rename to prism/src/settings/ChoiceSetting.java diff --git a/src/settings/ColorConstraint.java b/prism/src/settings/ColorConstraint.java similarity index 100% rename from src/settings/ColorConstraint.java rename to prism/src/settings/ColorConstraint.java diff --git a/src/settings/ColorEditor.java b/prism/src/settings/ColorEditor.java similarity index 100% rename from src/settings/ColorEditor.java rename to prism/src/settings/ColorEditor.java diff --git a/src/settings/ColorRenderer.java b/prism/src/settings/ColorRenderer.java similarity index 100% rename from src/settings/ColorRenderer.java rename to prism/src/settings/ColorRenderer.java diff --git a/src/settings/ColorSetting.java b/prism/src/settings/ColorSetting.java similarity index 100% rename from src/settings/ColorSetting.java rename to prism/src/settings/ColorSetting.java diff --git a/src/settings/DefaultSettingOwner.java b/prism/src/settings/DefaultSettingOwner.java similarity index 100% rename from src/settings/DefaultSettingOwner.java rename to prism/src/settings/DefaultSettingOwner.java diff --git a/src/settings/DoubleEditor.java b/prism/src/settings/DoubleEditor.java similarity index 100% rename from src/settings/DoubleEditor.java rename to prism/src/settings/DoubleEditor.java diff --git a/src/settings/DoubleRangeConstraint.java b/prism/src/settings/DoubleRangeConstraint.java similarity index 100% rename from src/settings/DoubleRangeConstraint.java rename to prism/src/settings/DoubleRangeConstraint.java diff --git a/src/settings/DoubleRenderer.java b/prism/src/settings/DoubleRenderer.java similarity index 100% rename from src/settings/DoubleRenderer.java rename to prism/src/settings/DoubleRenderer.java diff --git a/src/settings/DoubleSetting.java b/prism/src/settings/DoubleSetting.java similarity index 100% rename from src/settings/DoubleSetting.java rename to prism/src/settings/DoubleSetting.java diff --git a/src/settings/FileEditor.java b/prism/src/settings/FileEditor.java similarity index 100% rename from src/settings/FileEditor.java rename to prism/src/settings/FileEditor.java diff --git a/src/settings/FileRenderer.java b/prism/src/settings/FileRenderer.java similarity index 100% rename from src/settings/FileRenderer.java rename to prism/src/settings/FileRenderer.java diff --git a/src/settings/FileSelector.java b/prism/src/settings/FileSelector.java similarity index 100% rename from src/settings/FileSelector.java rename to prism/src/settings/FileSelector.java diff --git a/src/settings/FileSetting.java b/prism/src/settings/FileSetting.java similarity index 100% rename from src/settings/FileSetting.java rename to prism/src/settings/FileSetting.java diff --git a/src/settings/FontChooser.form b/prism/src/settings/FontChooser.form similarity index 100% rename from src/settings/FontChooser.form rename to prism/src/settings/FontChooser.form diff --git a/src/settings/FontChooser.java b/prism/src/settings/FontChooser.java similarity index 100% rename from src/settings/FontChooser.java rename to prism/src/settings/FontChooser.java diff --git a/src/settings/FontColorConstraint.java b/prism/src/settings/FontColorConstraint.java similarity index 100% rename from src/settings/FontColorConstraint.java rename to prism/src/settings/FontColorConstraint.java diff --git a/src/settings/FontColorEditor.java b/prism/src/settings/FontColorEditor.java similarity index 100% rename from src/settings/FontColorEditor.java rename to prism/src/settings/FontColorEditor.java diff --git a/src/settings/FontColorPair.java b/prism/src/settings/FontColorPair.java similarity index 100% rename from src/settings/FontColorPair.java rename to prism/src/settings/FontColorPair.java diff --git a/src/settings/FontColorRenderer.java b/prism/src/settings/FontColorRenderer.java similarity index 100% rename from src/settings/FontColorRenderer.java rename to prism/src/settings/FontColorRenderer.java diff --git a/src/settings/FontColorSetting.java b/prism/src/settings/FontColorSetting.java similarity index 100% rename from src/settings/FontColorSetting.java rename to prism/src/settings/FontColorSetting.java diff --git a/src/settings/IntegerEditor.java b/prism/src/settings/IntegerEditor.java similarity index 100% rename from src/settings/IntegerEditor.java rename to prism/src/settings/IntegerEditor.java diff --git a/src/settings/IntegerRenderer.java b/prism/src/settings/IntegerRenderer.java similarity index 100% rename from src/settings/IntegerRenderer.java rename to prism/src/settings/IntegerRenderer.java diff --git a/src/settings/IntegerSetting.java b/prism/src/settings/IntegerSetting.java similarity index 100% rename from src/settings/IntegerSetting.java rename to prism/src/settings/IntegerSetting.java diff --git a/src/settings/Makefile b/prism/src/settings/Makefile similarity index 100% rename from src/settings/Makefile rename to prism/src/settings/Makefile diff --git a/src/settings/MultipleLineStringEditor.java b/prism/src/settings/MultipleLineStringEditor.java similarity index 100% rename from src/settings/MultipleLineStringEditor.java rename to prism/src/settings/MultipleLineStringEditor.java diff --git a/src/settings/MultipleLineStringRenderer.java b/prism/src/settings/MultipleLineStringRenderer.java similarity index 100% rename from src/settings/MultipleLineStringRenderer.java rename to prism/src/settings/MultipleLineStringRenderer.java diff --git a/src/settings/MultipleLineStringSetting.java b/prism/src/settings/MultipleLineStringSetting.java similarity index 100% rename from src/settings/MultipleLineStringSetting.java rename to prism/src/settings/MultipleLineStringSetting.java diff --git a/src/settings/NumericConstraint.java b/prism/src/settings/NumericConstraint.java similarity index 100% rename from src/settings/NumericConstraint.java rename to prism/src/settings/NumericConstraint.java diff --git a/src/settings/Orange.java b/prism/src/settings/Orange.java similarity index 100% rename from src/settings/Orange.java rename to prism/src/settings/Orange.java diff --git a/src/settings/RangeConstraint.java b/prism/src/settings/RangeConstraint.java similarity index 100% rename from src/settings/RangeConstraint.java rename to prism/src/settings/RangeConstraint.java diff --git a/src/settings/Setting.java b/prism/src/settings/Setting.java similarity index 100% rename from src/settings/Setting.java rename to prism/src/settings/Setting.java diff --git a/src/settings/SettingConstraint.java b/prism/src/settings/SettingConstraint.java similarity index 100% rename from src/settings/SettingConstraint.java rename to prism/src/settings/SettingConstraint.java diff --git a/src/settings/SettingDisplay.java b/prism/src/settings/SettingDisplay.java similarity index 100% rename from src/settings/SettingDisplay.java rename to prism/src/settings/SettingDisplay.java diff --git a/src/settings/SettingEditor.java b/prism/src/settings/SettingEditor.java similarity index 100% rename from src/settings/SettingEditor.java rename to prism/src/settings/SettingEditor.java diff --git a/src/settings/SettingException.java b/prism/src/settings/SettingException.java similarity index 100% rename from src/settings/SettingException.java rename to prism/src/settings/SettingException.java diff --git a/src/settings/SettingOwner.java b/prism/src/settings/SettingOwner.java similarity index 100% rename from src/settings/SettingOwner.java rename to prism/src/settings/SettingOwner.java diff --git a/src/settings/SettingRenderer.java b/prism/src/settings/SettingRenderer.java similarity index 100% rename from src/settings/SettingRenderer.java rename to prism/src/settings/SettingRenderer.java diff --git a/src/settings/SettingTable.form b/prism/src/settings/SettingTable.form similarity index 100% rename from src/settings/SettingTable.form rename to prism/src/settings/SettingTable.form diff --git a/src/settings/SettingTable.java b/prism/src/settings/SettingTable.java similarity index 100% rename from src/settings/SettingTable.java rename to prism/src/settings/SettingTable.java diff --git a/src/settings/SingleLineStringEditor.java b/prism/src/settings/SingleLineStringEditor.java similarity index 100% rename from src/settings/SingleLineStringEditor.java rename to prism/src/settings/SingleLineStringEditor.java diff --git a/src/settings/SingleLineStringRenderer.java b/prism/src/settings/SingleLineStringRenderer.java similarity index 100% rename from src/settings/SingleLineStringRenderer.java rename to prism/src/settings/SingleLineStringRenderer.java diff --git a/src/settings/SingleLineStringSetting.java b/prism/src/settings/SingleLineStringSetting.java similarity index 100% rename from src/settings/SingleLineStringSetting.java rename to prism/src/settings/SingleLineStringSetting.java diff --git a/src/settings/StringConstraint.java b/prism/src/settings/StringConstraint.java similarity index 100% rename from src/settings/StringConstraint.java rename to prism/src/settings/StringConstraint.java diff --git a/src/settings/TableResizer.java b/prism/src/settings/TableResizer.java similarity index 100% rename from src/settings/TableResizer.java rename to prism/src/settings/TableResizer.java diff --git a/src/settings/Test.java b/prism/src/settings/Test.java similarity index 100% rename from src/settings/Test.java rename to prism/src/settings/Test.java diff --git a/src/settings/Test2.form b/prism/src/settings/Test2.form similarity index 100% rename from src/settings/Test2.form rename to prism/src/settings/Test2.form diff --git a/src/settings/Test2.java b/prism/src/settings/Test2.java similarity index 100% rename from src/settings/Test2.java rename to prism/src/settings/Test2.java diff --git a/src/simulator/Makefile b/prism/src/simulator/Makefile similarity index 100% rename from src/simulator/Makefile rename to prism/src/simulator/Makefile diff --git a/src/simulator/NetTest.java b/prism/src/simulator/NetTest.java similarity index 100% rename from src/simulator/NetTest.java rename to prism/src/simulator/NetTest.java diff --git a/src/simulator/SimulatorEngine.cc b/prism/src/simulator/SimulatorEngine.cc similarity index 100% rename from src/simulator/SimulatorEngine.cc rename to prism/src/simulator/SimulatorEngine.cc diff --git a/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java similarity index 100% rename from src/simulator/SimulatorEngine.java rename to prism/src/simulator/SimulatorEngine.java diff --git a/src/simulator/SimulatorException.java b/prism/src/simulator/SimulatorException.java similarity index 100% rename from src/simulator/SimulatorException.java rename to prism/src/simulator/SimulatorException.java diff --git a/src/simulator/networking/FileSystem.java b/prism/src/simulator/networking/FileSystem.java similarity index 100% rename from src/simulator/networking/FileSystem.java rename to prism/src/simulator/networking/FileSystem.java diff --git a/src/simulator/networking/RemoteHandler.java b/prism/src/simulator/networking/RemoteHandler.java similarity index 100% rename from src/simulator/networking/RemoteHandler.java rename to prism/src/simulator/networking/RemoteHandler.java diff --git a/src/simulator/networking/SSHHandler.java b/prism/src/simulator/networking/SSHHandler.java similarity index 100% rename from src/simulator/networking/SSHHandler.java rename to prism/src/simulator/networking/SSHHandler.java diff --git a/src/simulator/networking/SSHHost.java b/prism/src/simulator/networking/SSHHost.java similarity index 100% rename from src/simulator/networking/SSHHost.java rename to prism/src/simulator/networking/SSHHost.java diff --git a/src/simulator/networking/SimulatorNetworkHandler.java b/prism/src/simulator/networking/SimulatorNetworkHandler.java similarity index 100% rename from src/simulator/networking/SimulatorNetworkHandler.java rename to prism/src/simulator/networking/SimulatorNetworkHandler.java diff --git a/src/simulator/networking/SimulatorResultsFile.java b/prism/src/simulator/networking/SimulatorResultsFile.java similarity index 100% rename from src/simulator/networking/SimulatorResultsFile.java rename to prism/src/simulator/networking/SimulatorResultsFile.java diff --git a/src/simulator/old/ExplorationTesting.java b/prism/src/simulator/old/ExplorationTesting.java similarity index 100% rename from src/simulator/old/ExplorationTesting.java rename to prism/src/simulator/old/ExplorationTesting.java diff --git a/src/simulator/old/ExploreTesting.java b/prism/src/simulator/old/ExploreTesting.java similarity index 100% rename from src/simulator/old/ExploreTesting.java rename to prism/src/simulator/old/ExploreTesting.java diff --git a/src/simulator/old/ExpressionTesting.java b/prism/src/simulator/old/ExpressionTesting.java similarity index 100% rename from src/simulator/old/ExpressionTesting.java rename to prism/src/simulator/old/ExpressionTesting.java diff --git a/src/simulator/old/LoadModelTesting.java b/prism/src/simulator/old/LoadModelTesting.java similarity index 100% rename from src/simulator/old/LoadModelTesting.java rename to prism/src/simulator/old/LoadModelTesting.java diff --git a/src/simulator/old/ManualSimulator.java b/prism/src/simulator/old/ManualSimulator.java similarity index 100% rename from src/simulator/old/ManualSimulator.java rename to prism/src/simulator/old/ManualSimulator.java diff --git a/src/simulator/old/UpdatesTesting.java b/prism/src/simulator/old/UpdatesTesting.java similarity index 100% rename from src/simulator/old/UpdatesTesting.java rename to prism/src/simulator/old/UpdatesTesting.java diff --git a/src/simulator/simengine.cc b/prism/src/simulator/simengine.cc similarity index 100% rename from src/simulator/simengine.cc rename to prism/src/simulator/simengine.cc diff --git a/src/simulator/simexpression.cc b/prism/src/simulator/simexpression.cc similarity index 100% rename from src/simulator/simexpression.cc rename to prism/src/simulator/simexpression.cc diff --git a/src/simulator/simexpressionbuilder.cc b/prism/src/simulator/simexpressionbuilder.cc similarity index 100% rename from src/simulator/simexpressionbuilder.cc rename to prism/src/simulator/simexpressionbuilder.cc diff --git a/src/simulator/simformulae.cc b/prism/src/simulator/simformulae.cc similarity index 100% rename from src/simulator/simformulae.cc rename to prism/src/simulator/simformulae.cc diff --git a/src/simulator/simiohandler.cc b/prism/src/simulator/simiohandler.cc similarity index 100% rename from src/simulator/simiohandler.cc rename to prism/src/simulator/simiohandler.cc diff --git a/src/simulator/simlog.cc b/prism/src/simulator/simlog.cc similarity index 100% rename from src/simulator/simlog.cc rename to prism/src/simulator/simlog.cc diff --git a/src/simulator/simmodel.cc b/prism/src/simulator/simmodel.cc similarity index 100% rename from src/simulator/simmodel.cc rename to prism/src/simulator/simmodel.cc diff --git a/src/simulator/simpath.cc b/prism/src/simulator/simpath.cc similarity index 100% rename from src/simulator/simpath.cc rename to prism/src/simulator/simpath.cc diff --git a/src/simulator/simpctl.cc b/prism/src/simulator/simpctl.cc similarity index 100% rename from src/simulator/simpctl.cc rename to prism/src/simulator/simpctl.cc diff --git a/src/simulator/simpctlbuilder.cc b/prism/src/simulator/simpctlbuilder.cc similarity index 100% rename from src/simulator/simpctlbuilder.cc rename to prism/src/simulator/simpctlbuilder.cc diff --git a/src/simulator/simrandom.cc b/prism/src/simulator/simrandom.cc similarity index 100% rename from src/simulator/simrandom.cc rename to prism/src/simulator/simrandom.cc diff --git a/src/simulator/simreasoning.cc b/prism/src/simulator/simreasoning.cc similarity index 100% rename from src/simulator/simreasoning.cc rename to prism/src/simulator/simreasoning.cc diff --git a/src/simulator/simrewardsbuilder.cc b/prism/src/simulator/simrewardsbuilder.cc similarity index 100% rename from src/simulator/simrewardsbuilder.cc rename to prism/src/simulator/simrewardsbuilder.cc diff --git a/src/simulator/simsampling.cc b/prism/src/simulator/simsampling.cc similarity index 100% rename from src/simulator/simsampling.cc rename to prism/src/simulator/simsampling.cc diff --git a/src/simulator/simstate.cc b/prism/src/simulator/simstate.cc similarity index 100% rename from src/simulator/simstate.cc rename to prism/src/simulator/simstate.cc diff --git a/src/simulator/simtest.cc b/prism/src/simulator/simtest.cc similarity index 100% rename from src/simulator/simtest.cc rename to prism/src/simulator/simtest.cc diff --git a/src/simulator/simtransitionbuilder.cc b/prism/src/simulator/simtransitionbuilder.cc similarity index 100% rename from src/simulator/simtransitionbuilder.cc rename to prism/src/simulator/simtransitionbuilder.cc diff --git a/src/simulator/simupdater.cc b/prism/src/simulator/simupdater.cc similarity index 100% rename from src/simulator/simupdater.cc rename to prism/src/simulator/simupdater.cc diff --git a/src/simulator/simutil.cc b/prism/src/simulator/simutil.cc similarity index 100% rename from src/simulator/simutil.cc rename to prism/src/simulator/simutil.cc diff --git a/src/sparse/Makefile b/prism/src/sparse/Makefile similarity index 100% rename from src/sparse/Makefile rename to prism/src/sparse/Makefile diff --git a/src/sparse/PS_JOR.cc b/prism/src/sparse/PS_JOR.cc similarity index 100% rename from src/sparse/PS_JOR.cc rename to prism/src/sparse/PS_JOR.cc diff --git a/src/sparse/PS_NondetBoundedUntil.cc b/prism/src/sparse/PS_NondetBoundedUntil.cc similarity index 100% rename from src/sparse/PS_NondetBoundedUntil.cc rename to prism/src/sparse/PS_NondetBoundedUntil.cc diff --git a/src/sparse/PS_NondetExport.cc b/prism/src/sparse/PS_NondetExport.cc similarity index 100% rename from src/sparse/PS_NondetExport.cc rename to prism/src/sparse/PS_NondetExport.cc diff --git a/src/sparse/PS_NondetReachReward.cc b/prism/src/sparse/PS_NondetReachReward.cc similarity index 100% rename from src/sparse/PS_NondetReachReward.cc rename to prism/src/sparse/PS_NondetReachReward.cc diff --git a/src/sparse/PS_NondetUntil.cc b/prism/src/sparse/PS_NondetUntil.cc similarity index 100% rename from src/sparse/PS_NondetUntil.cc rename to prism/src/sparse/PS_NondetUntil.cc diff --git a/src/sparse/PS_Power.cc b/prism/src/sparse/PS_Power.cc similarity index 100% rename from src/sparse/PS_Power.cc rename to prism/src/sparse/PS_Power.cc diff --git a/src/sparse/PS_ProbBoundedUntil.cc b/prism/src/sparse/PS_ProbBoundedUntil.cc similarity index 100% rename from src/sparse/PS_ProbBoundedUntil.cc rename to prism/src/sparse/PS_ProbBoundedUntil.cc diff --git a/src/sparse/PS_ProbExport.cc b/prism/src/sparse/PS_ProbExport.cc similarity index 100% rename from src/sparse/PS_ProbExport.cc rename to prism/src/sparse/PS_ProbExport.cc diff --git a/src/sparse/PS_ProbReachReward.cc b/prism/src/sparse/PS_ProbReachReward.cc similarity index 100% rename from src/sparse/PS_ProbReachReward.cc rename to prism/src/sparse/PS_ProbReachReward.cc diff --git a/src/sparse/PS_ProbUntil.cc b/prism/src/sparse/PS_ProbUntil.cc similarity index 100% rename from src/sparse/PS_ProbUntil.cc rename to prism/src/sparse/PS_ProbUntil.cc diff --git a/src/sparse/PS_SOR.cc b/prism/src/sparse/PS_SOR.cc similarity index 100% rename from src/sparse/PS_SOR.cc rename to prism/src/sparse/PS_SOR.cc diff --git a/src/sparse/PS_StochBoundedUntil.cc b/prism/src/sparse/PS_StochBoundedUntil.cc similarity index 100% rename from src/sparse/PS_StochBoundedUntil.cc rename to prism/src/sparse/PS_StochBoundedUntil.cc diff --git a/src/sparse/PS_StochCumulReward.cc b/prism/src/sparse/PS_StochCumulReward.cc similarity index 100% rename from src/sparse/PS_StochCumulReward.cc rename to prism/src/sparse/PS_StochCumulReward.cc diff --git a/src/sparse/PS_StochExport.cc b/prism/src/sparse/PS_StochExport.cc similarity index 100% rename from src/sparse/PS_StochExport.cc rename to prism/src/sparse/PS_StochExport.cc diff --git a/src/sparse/PS_StochSteadyState.cc b/prism/src/sparse/PS_StochSteadyState.cc similarity index 100% rename from src/sparse/PS_StochSteadyState.cc rename to prism/src/sparse/PS_StochSteadyState.cc diff --git a/src/sparse/PS_StochTransient.cc b/prism/src/sparse/PS_StochTransient.cc similarity index 100% rename from src/sparse/PS_StochTransient.cc rename to prism/src/sparse/PS_StochTransient.cc diff --git a/src/sparse/PrismSparse.cc b/prism/src/sparse/PrismSparse.cc similarity index 100% rename from src/sparse/PrismSparse.cc rename to prism/src/sparse/PrismSparse.cc diff --git a/src/sparse/PrismSparse.java b/prism/src/sparse/PrismSparse.java similarity index 100% rename from src/sparse/PrismSparse.java rename to prism/src/sparse/PrismSparse.java diff --git a/src/sparse/sparse.cc b/prism/src/sparse/sparse.cc similarity index 100% rename from src/sparse/sparse.cc rename to prism/src/sparse/sparse.cc diff --git a/src/userinterface/GUIClipboard.java b/prism/src/userinterface/GUIClipboard.java similarity index 100% rename from src/userinterface/GUIClipboard.java rename to prism/src/userinterface/GUIClipboard.java diff --git a/src/userinterface/GUIClipboardEvent.java b/prism/src/userinterface/GUIClipboardEvent.java similarity index 100% rename from src/userinterface/GUIClipboardEvent.java rename to prism/src/userinterface/GUIClipboardEvent.java diff --git a/src/userinterface/GUIComputationThread.java b/prism/src/userinterface/GUIComputationThread.java similarity index 100% rename from src/userinterface/GUIComputationThread.java rename to prism/src/userinterface/GUIComputationThread.java diff --git a/src/userinterface/GUIConstantsPicker.form b/prism/src/userinterface/GUIConstantsPicker.form similarity index 100% rename from src/userinterface/GUIConstantsPicker.form rename to prism/src/userinterface/GUIConstantsPicker.form diff --git a/src/userinterface/GUIConstantsPicker.java b/prism/src/userinterface/GUIConstantsPicker.java similarity index 100% rename from src/userinterface/GUIConstantsPicker.java rename to prism/src/userinterface/GUIConstantsPicker.java diff --git a/src/userinterface/GUIFileMenu.java b/prism/src/userinterface/GUIFileMenu.java similarity index 100% rename from src/userinterface/GUIFileMenu.java rename to prism/src/userinterface/GUIFileMenu.java diff --git a/src/userinterface/GUIGeneralOptions.form b/prism/src/userinterface/GUIGeneralOptions.form similarity index 100% rename from src/userinterface/GUIGeneralOptions.form rename to prism/src/userinterface/GUIGeneralOptions.form diff --git a/src/userinterface/GUIGeneralOptions.java b/prism/src/userinterface/GUIGeneralOptions.java similarity index 100% rename from src/userinterface/GUIGeneralOptions.java rename to prism/src/userinterface/GUIGeneralOptions.java diff --git a/src/userinterface/GUINetwork.java b/prism/src/userinterface/GUINetwork.java similarity index 100% rename from src/userinterface/GUINetwork.java rename to prism/src/userinterface/GUINetwork.java diff --git a/src/userinterface/GUINetworkOptions.form b/prism/src/userinterface/GUINetworkOptions.form similarity index 100% rename from src/userinterface/GUINetworkOptions.form rename to prism/src/userinterface/GUINetworkOptions.form diff --git a/src/userinterface/GUINetworkOptions.java b/prism/src/userinterface/GUINetworkOptions.java similarity index 100% rename from src/userinterface/GUINetworkOptions.java rename to prism/src/userinterface/GUINetworkOptions.java diff --git a/src/userinterface/GUIOptionsDialog.form b/prism/src/userinterface/GUIOptionsDialog.form similarity index 100% rename from src/userinterface/GUIOptionsDialog.form rename to prism/src/userinterface/GUIOptionsDialog.form diff --git a/src/userinterface/GUIOptionsDialog.java b/prism/src/userinterface/GUIOptionsDialog.java similarity index 100% rename from src/userinterface/GUIOptionsDialog.java rename to prism/src/userinterface/GUIOptionsDialog.java diff --git a/src/userinterface/GUIPlugin.java b/prism/src/userinterface/GUIPlugin.java similarity index 100% rename from src/userinterface/GUIPlugin.java rename to prism/src/userinterface/GUIPlugin.java diff --git a/src/userinterface/GUIPrism.java b/prism/src/userinterface/GUIPrism.java similarity index 100% rename from src/userinterface/GUIPrism.java rename to prism/src/userinterface/GUIPrism.java diff --git a/src/userinterface/GUIPrismOptionsPanel.form b/prism/src/userinterface/GUIPrismOptionsPanel.form similarity index 100% rename from src/userinterface/GUIPrismOptionsPanel.form rename to prism/src/userinterface/GUIPrismOptionsPanel.form diff --git a/src/userinterface/GUIPrismSplash.java b/prism/src/userinterface/GUIPrismSplash.java similarity index 100% rename from src/userinterface/GUIPrismSplash.java rename to prism/src/userinterface/GUIPrismSplash.java diff --git a/src/userinterface/GUISimulationPicker.form b/prism/src/userinterface/GUISimulationPicker.form similarity index 100% rename from src/userinterface/GUISimulationPicker.form rename to prism/src/userinterface/GUISimulationPicker.form diff --git a/src/userinterface/GUISimulationPicker.java b/prism/src/userinterface/GUISimulationPicker.java similarity index 100% rename from src/userinterface/GUISimulationPicker.java rename to prism/src/userinterface/GUISimulationPicker.java diff --git a/src/userinterface/GUITaskBar.java b/prism/src/userinterface/GUITaskBar.java similarity index 100% rename from src/userinterface/GUITaskBar.java rename to prism/src/userinterface/GUITaskBar.java diff --git a/src/userinterface/Makefile b/prism/src/userinterface/Makefile similarity index 100% rename from src/userinterface/Makefile rename to prism/src/userinterface/Makefile diff --git a/src/userinterface/OptionsPanel.java b/prism/src/userinterface/OptionsPanel.java similarity index 100% rename from src/userinterface/OptionsPanel.java rename to prism/src/userinterface/OptionsPanel.java diff --git a/src/userinterface/SimulationInformation.java b/prism/src/userinterface/SimulationInformation.java similarity index 100% rename from src/userinterface/SimulationInformation.java rename to prism/src/userinterface/SimulationInformation.java diff --git a/src/userinterface/log/GUILog.java b/prism/src/userinterface/log/GUILog.java similarity index 100% rename from src/userinterface/log/GUILog.java rename to prism/src/userinterface/log/GUILog.java diff --git a/src/userinterface/log/GUIVisualLogModel.java b/prism/src/userinterface/log/GUIVisualLogModel.java similarity index 100% rename from src/userinterface/log/GUIVisualLogModel.java rename to prism/src/userinterface/log/GUIVisualLogModel.java diff --git a/src/userinterface/log/GUIVisualLogger.java b/prism/src/userinterface/log/GUIVisualLogger.java similarity index 100% rename from src/userinterface/log/GUIVisualLogger.java rename to prism/src/userinterface/log/GUIVisualLogger.java diff --git a/src/userinterface/log/GUIWindowLog.java b/prism/src/userinterface/log/GUIWindowLog.java similarity index 100% rename from src/userinterface/log/GUIWindowLog.java rename to prism/src/userinterface/log/GUIWindowLog.java diff --git a/src/userinterface/model/GUIModelEditor.java b/prism/src/userinterface/model/GUIModelEditor.java similarity index 100% rename from src/userinterface/model/GUIModelEditor.java rename to prism/src/userinterface/model/GUIModelEditor.java diff --git a/src/userinterface/model/GUIModelEvent.java b/prism/src/userinterface/model/GUIModelEvent.java similarity index 100% rename from src/userinterface/model/GUIModelEvent.java rename to prism/src/userinterface/model/GUIModelEvent.java diff --git a/src/userinterface/model/GUIMultiModel.java b/prism/src/userinterface/model/GUIMultiModel.java similarity index 100% rename from src/userinterface/model/GUIMultiModel.java rename to prism/src/userinterface/model/GUIMultiModel.java diff --git a/src/userinterface/model/GUIMultiModelHandler.java b/prism/src/userinterface/model/GUIMultiModelHandler.java similarity index 100% rename from src/userinterface/model/GUIMultiModelHandler.java rename to prism/src/userinterface/model/GUIMultiModelHandler.java diff --git a/src/userinterface/model/GUIMultiModelTree.java b/prism/src/userinterface/model/GUIMultiModelTree.java similarity index 100% rename from src/userinterface/model/GUIMultiModelTree.java rename to prism/src/userinterface/model/GUIMultiModelTree.java diff --git a/src/userinterface/model/GUITextModelEditor.java b/prism/src/userinterface/model/GUITextModelEditor.java similarity index 100% rename from src/userinterface/model/GUITextModelEditor.java rename to prism/src/userinterface/model/GUITextModelEditor.java diff --git a/src/userinterface/model/GUITransientTime.form b/prism/src/userinterface/model/GUITransientTime.form similarity index 100% rename from src/userinterface/model/GUITransientTime.form rename to prism/src/userinterface/model/GUITransientTime.form diff --git a/src/userinterface/model/GUITransientTime.java b/prism/src/userinterface/model/GUITransientTime.java similarity index 100% rename from src/userinterface/model/GUITransientTime.java rename to prism/src/userinterface/model/GUITransientTime.java diff --git a/src/userinterface/model/Style.java b/prism/src/userinterface/model/Style.java similarity index 100% rename from src/userinterface/model/Style.java rename to prism/src/userinterface/model/Style.java diff --git a/src/userinterface/model/computation/BuildModelThread.java b/prism/src/userinterface/model/computation/BuildModelThread.java similarity index 100% rename from src/userinterface/model/computation/BuildModelThread.java rename to prism/src/userinterface/model/computation/BuildModelThread.java diff --git a/src/userinterface/model/computation/ComputeSteadyStateThread.java b/prism/src/userinterface/model/computation/ComputeSteadyStateThread.java similarity index 100% rename from src/userinterface/model/computation/ComputeSteadyStateThread.java rename to prism/src/userinterface/model/computation/ComputeSteadyStateThread.java diff --git a/src/userinterface/model/computation/ComputeTransientThread.java b/prism/src/userinterface/model/computation/ComputeTransientThread.java similarity index 100% rename from src/userinterface/model/computation/ComputeTransientThread.java rename to prism/src/userinterface/model/computation/ComputeTransientThread.java diff --git a/src/userinterface/model/computation/ExportBuiltModelThread.java b/prism/src/userinterface/model/computation/ExportBuiltModelThread.java similarity index 100% rename from src/userinterface/model/computation/ExportBuiltModelThread.java rename to prism/src/userinterface/model/computation/ExportBuiltModelThread.java diff --git a/src/userinterface/model/computation/LoadGraphicModelThread.java b/prism/src/userinterface/model/computation/LoadGraphicModelThread.java similarity index 100% rename from src/userinterface/model/computation/LoadGraphicModelThread.java rename to prism/src/userinterface/model/computation/LoadGraphicModelThread.java diff --git a/src/userinterface/model/computation/LoadPEPAModelThread.java b/prism/src/userinterface/model/computation/LoadPEPAModelThread.java similarity index 100% rename from src/userinterface/model/computation/LoadPEPAModelThread.java rename to prism/src/userinterface/model/computation/LoadPEPAModelThread.java diff --git a/src/userinterface/model/computation/LoadPRISMModelThread.java b/prism/src/userinterface/model/computation/LoadPRISMModelThread.java similarity index 100% rename from src/userinterface/model/computation/LoadPRISMModelThread.java rename to prism/src/userinterface/model/computation/LoadPRISMModelThread.java diff --git a/src/userinterface/model/computation/ParseModelThread.java b/prism/src/userinterface/model/computation/ParseModelThread.java similarity index 100% rename from src/userinterface/model/computation/ParseModelThread.java rename to prism/src/userinterface/model/computation/ParseModelThread.java diff --git a/src/userinterface/model/computation/SaveGraphicModelThread.java b/prism/src/userinterface/model/computation/SaveGraphicModelThread.java similarity index 100% rename from src/userinterface/model/computation/SaveGraphicModelThread.java rename to prism/src/userinterface/model/computation/SaveGraphicModelThread.java diff --git a/src/userinterface/model/computation/SavePEPAModelThread.java b/prism/src/userinterface/model/computation/SavePEPAModelThread.java similarity index 100% rename from src/userinterface/model/computation/SavePEPAModelThread.java rename to prism/src/userinterface/model/computation/SavePEPAModelThread.java diff --git a/src/userinterface/model/computation/SavePRISMModelThread.java b/prism/src/userinterface/model/computation/SavePRISMModelThread.java similarity index 100% rename from src/userinterface/model/computation/SavePRISMModelThread.java rename to prism/src/userinterface/model/computation/SavePRISMModelThread.java diff --git a/src/userinterface/model/graphicModel/Decision.java b/prism/src/userinterface/model/graphicModel/Decision.java similarity index 100% rename from src/userinterface/model/graphicModel/Decision.java rename to prism/src/userinterface/model/graphicModel/Decision.java diff --git a/src/userinterface/model/graphicModel/ExpressionLabel.java b/prism/src/userinterface/model/graphicModel/ExpressionLabel.java similarity index 100% rename from src/userinterface/model/graphicModel/ExpressionLabel.java rename to prism/src/userinterface/model/graphicModel/ExpressionLabel.java diff --git a/src/userinterface/model/graphicModel/GUIGraphicModelEditor.java b/prism/src/userinterface/model/graphicModel/GUIGraphicModelEditor.java similarity index 100% rename from src/userinterface/model/graphicModel/GUIGraphicModelEditor.java rename to prism/src/userinterface/model/graphicModel/GUIGraphicModelEditor.java diff --git a/src/userinterface/model/graphicModel/GraphicModuleContainer.java b/prism/src/userinterface/model/graphicModel/GraphicModuleContainer.java similarity index 100% rename from src/userinterface/model/graphicModel/GraphicModuleContainer.java rename to prism/src/userinterface/model/graphicModel/GraphicModuleContainer.java diff --git a/src/userinterface/model/graphicModel/GraphicSelection.java b/prism/src/userinterface/model/graphicModel/GraphicSelection.java similarity index 100% rename from src/userinterface/model/graphicModel/GraphicSelection.java rename to prism/src/userinterface/model/graphicModel/GraphicSelection.java diff --git a/src/userinterface/model/graphicModel/GraphicToolBar.java b/prism/src/userinterface/model/graphicModel/GraphicToolBar.java similarity index 100% rename from src/userinterface/model/graphicModel/GraphicToolBar.java rename to prism/src/userinterface/model/graphicModel/GraphicToolBar.java diff --git a/src/userinterface/model/graphicModel/ModuleDrawingPane.java b/prism/src/userinterface/model/graphicModel/ModuleDrawingPane.java similarity index 100% rename from src/userinterface/model/graphicModel/ModuleDrawingPane.java rename to prism/src/userinterface/model/graphicModel/ModuleDrawingPane.java diff --git a/src/userinterface/model/graphicModel/ModuleModel.java b/prism/src/userinterface/model/graphicModel/ModuleModel.java similarity index 100% rename from src/userinterface/model/graphicModel/ModuleModel.java rename to prism/src/userinterface/model/graphicModel/ModuleModel.java diff --git a/src/userinterface/model/graphicModel/ModulesPanel.java b/prism/src/userinterface/model/graphicModel/ModulesPanel.java similarity index 100% rename from src/userinterface/model/graphicModel/ModulesPanel.java rename to prism/src/userinterface/model/graphicModel/ModulesPanel.java diff --git a/src/userinterface/model/graphicModel/Nail.java b/prism/src/userinterface/model/graphicModel/Nail.java similarity index 100% rename from src/userinterface/model/graphicModel/Nail.java rename to prism/src/userinterface/model/graphicModel/Nail.java diff --git a/src/userinterface/model/graphicModel/ProbTransition.java b/prism/src/userinterface/model/graphicModel/ProbTransition.java similarity index 100% rename from src/userinterface/model/graphicModel/ProbTransition.java rename to prism/src/userinterface/model/graphicModel/ProbTransition.java diff --git a/src/userinterface/model/graphicModel/State.java b/prism/src/userinterface/model/graphicModel/State.java similarity index 100% rename from src/userinterface/model/graphicModel/State.java rename to prism/src/userinterface/model/graphicModel/State.java diff --git a/src/userinterface/model/graphicModel/StringLabel.java b/prism/src/userinterface/model/graphicModel/StringLabel.java similarity index 100% rename from src/userinterface/model/graphicModel/StringLabel.java rename to prism/src/userinterface/model/graphicModel/StringLabel.java diff --git a/src/userinterface/model/graphicModel/Transition.java b/prism/src/userinterface/model/graphicModel/Transition.java similarity index 100% rename from src/userinterface/model/graphicModel/Transition.java rename to prism/src/userinterface/model/graphicModel/Transition.java diff --git a/src/userinterface/model/pepaModel/GUIPepaModelEditor.java b/prism/src/userinterface/model/pepaModel/GUIPepaModelEditor.java similarity index 100% rename from src/userinterface/model/pepaModel/GUIPepaModelEditor.java rename to prism/src/userinterface/model/pepaModel/GUIPepaModelEditor.java diff --git a/src/userinterface/properties/ConstantHeader.form b/prism/src/userinterface/properties/ConstantHeader.form similarity index 100% rename from src/userinterface/properties/ConstantHeader.form rename to prism/src/userinterface/properties/ConstantHeader.form diff --git a/src/userinterface/properties/ConstantHeader.java b/prism/src/userinterface/properties/ConstantHeader.java similarity index 100% rename from src/userinterface/properties/ConstantHeader.java rename to prism/src/userinterface/properties/ConstantHeader.java diff --git a/src/userinterface/properties/ConstantLine.form b/prism/src/userinterface/properties/ConstantLine.form similarity index 100% rename from src/userinterface/properties/ConstantLine.form rename to prism/src/userinterface/properties/ConstantLine.form diff --git a/src/userinterface/properties/ConstantLine.java b/prism/src/userinterface/properties/ConstantLine.java similarity index 100% rename from src/userinterface/properties/ConstantLine.java rename to prism/src/userinterface/properties/ConstantLine.java diff --git a/src/userinterface/properties/ConstantPickerList.java b/prism/src/userinterface/properties/ConstantPickerList.java similarity index 100% rename from src/userinterface/properties/ConstantPickerList.java rename to prism/src/userinterface/properties/ConstantPickerList.java diff --git a/src/userinterface/properties/GUIExperiment.java b/prism/src/userinterface/properties/GUIExperiment.java similarity index 100% rename from src/userinterface/properties/GUIExperiment.java rename to prism/src/userinterface/properties/GUIExperiment.java diff --git a/src/userinterface/properties/GUIExperimentPicker.form b/prism/src/userinterface/properties/GUIExperimentPicker.form similarity index 100% rename from src/userinterface/properties/GUIExperimentPicker.form rename to prism/src/userinterface/properties/GUIExperimentPicker.form diff --git a/src/userinterface/properties/GUIExperimentPicker.java b/prism/src/userinterface/properties/GUIExperimentPicker.java similarity index 100% rename from src/userinterface/properties/GUIExperimentPicker.java rename to prism/src/userinterface/properties/GUIExperimentPicker.java diff --git a/src/userinterface/properties/GUIExperimentTable.java b/prism/src/userinterface/properties/GUIExperimentTable.java similarity index 100% rename from src/userinterface/properties/GUIExperimentTable.java rename to prism/src/userinterface/properties/GUIExperimentTable.java diff --git a/src/userinterface/properties/GUIGraphHandler.java b/prism/src/userinterface/properties/GUIGraphHandler.java similarity index 100% rename from src/userinterface/properties/GUIGraphHandler.java rename to prism/src/userinterface/properties/GUIGraphHandler.java diff --git a/src/userinterface/properties/GUIGraphPicker.form b/prism/src/userinterface/properties/GUIGraphPicker.form similarity index 100% rename from src/userinterface/properties/GUIGraphPicker.form rename to prism/src/userinterface/properties/GUIGraphPicker.form diff --git a/src/userinterface/properties/GUIGraphPicker.java b/prism/src/userinterface/properties/GUIGraphPicker.java similarity index 100% rename from src/userinterface/properties/GUIGraphPicker.java rename to prism/src/userinterface/properties/GUIGraphPicker.java diff --git a/src/userinterface/properties/GUILabel.java b/prism/src/userinterface/properties/GUILabel.java similarity index 100% rename from src/userinterface/properties/GUILabel.java rename to prism/src/userinterface/properties/GUILabel.java diff --git a/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java similarity index 100% rename from src/userinterface/properties/GUIMultiProperties.java rename to prism/src/userinterface/properties/GUIMultiProperties.java diff --git a/src/userinterface/properties/GUIPropConstantList.java b/prism/src/userinterface/properties/GUIPropConstantList.java similarity index 100% rename from src/userinterface/properties/GUIPropConstantList.java rename to prism/src/userinterface/properties/GUIPropConstantList.java diff --git a/src/userinterface/properties/GUIPropLabelList.java b/prism/src/userinterface/properties/GUIPropLabelList.java similarity index 100% rename from src/userinterface/properties/GUIPropLabelList.java rename to prism/src/userinterface/properties/GUIPropLabelList.java diff --git a/src/userinterface/properties/GUIPropertiesEvent.java b/prism/src/userinterface/properties/GUIPropertiesEvent.java similarity index 100% rename from src/userinterface/properties/GUIPropertiesEvent.java rename to prism/src/userinterface/properties/GUIPropertiesEvent.java diff --git a/src/userinterface/properties/GUIPropertiesList.java b/prism/src/userinterface/properties/GUIPropertiesList.java similarity index 100% rename from src/userinterface/properties/GUIPropertiesList.java rename to prism/src/userinterface/properties/GUIPropertiesList.java diff --git a/src/userinterface/properties/GUIProperty.java b/prism/src/userinterface/properties/GUIProperty.java similarity index 100% rename from src/userinterface/properties/GUIProperty.java rename to prism/src/userinterface/properties/GUIProperty.java diff --git a/src/userinterface/properties/GUIPropertyEditor.form b/prism/src/userinterface/properties/GUIPropertyEditor.form similarity index 100% rename from src/userinterface/properties/GUIPropertyEditor.form rename to prism/src/userinterface/properties/GUIPropertyEditor.form diff --git a/src/userinterface/properties/GUIPropertyEditor.java b/prism/src/userinterface/properties/GUIPropertyEditor.java similarity index 100% rename from src/userinterface/properties/GUIPropertyEditor.java rename to prism/src/userinterface/properties/GUIPropertyEditor.java diff --git a/src/userinterface/properties/GUIPropertyResultDialog.form b/prism/src/userinterface/properties/GUIPropertyResultDialog.form similarity index 100% rename from src/userinterface/properties/GUIPropertyResultDialog.form rename to prism/src/userinterface/properties/GUIPropertyResultDialog.form diff --git a/src/userinterface/properties/GUIPropertyResultDialog.java b/prism/src/userinterface/properties/GUIPropertyResultDialog.java similarity index 100% rename from src/userinterface/properties/GUIPropertyResultDialog.java rename to prism/src/userinterface/properties/GUIPropertyResultDialog.java diff --git a/src/userinterface/properties/GUIResultsTable.java b/prism/src/userinterface/properties/GUIResultsTable.java similarity index 100% rename from src/userinterface/properties/GUIResultsTable.java rename to prism/src/userinterface/properties/GUIResultsTable.java diff --git a/src/userinterface/properties/GraphConstantHeader.form b/prism/src/userinterface/properties/GraphConstantHeader.form similarity index 100% rename from src/userinterface/properties/GraphConstantHeader.form rename to prism/src/userinterface/properties/GraphConstantHeader.form diff --git a/src/userinterface/properties/GraphConstantHeader.java b/prism/src/userinterface/properties/GraphConstantHeader.java similarity index 100% rename from src/userinterface/properties/GraphConstantHeader.java rename to prism/src/userinterface/properties/GraphConstantHeader.java diff --git a/src/userinterface/properties/GraphConstantLine.form b/prism/src/userinterface/properties/GraphConstantLine.form similarity index 100% rename from src/userinterface/properties/GraphConstantLine.form rename to prism/src/userinterface/properties/GraphConstantLine.form diff --git a/src/userinterface/properties/GraphConstantLine.java b/prism/src/userinterface/properties/GraphConstantLine.java similarity index 100% rename from src/userinterface/properties/GraphConstantLine.java rename to prism/src/userinterface/properties/GraphConstantLine.java diff --git a/src/userinterface/properties/GraphConstantPickerList.java b/prism/src/userinterface/properties/GraphConstantPickerList.java similarity index 100% rename from src/userinterface/properties/GraphConstantPickerList.java rename to prism/src/userinterface/properties/GraphConstantPickerList.java diff --git a/src/userinterface/properties/computation/ExportResultsThread.java b/prism/src/userinterface/properties/computation/ExportResultsThread.java similarity index 100% rename from src/userinterface/properties/computation/ExportResultsThread.java rename to prism/src/userinterface/properties/computation/ExportResultsThread.java diff --git a/src/userinterface/properties/computation/LoadPropertiesThread.java b/prism/src/userinterface/properties/computation/LoadPropertiesThread.java similarity index 100% rename from src/userinterface/properties/computation/LoadPropertiesThread.java rename to prism/src/userinterface/properties/computation/LoadPropertiesThread.java diff --git a/src/userinterface/properties/computation/ModelCheckThread.java b/prism/src/userinterface/properties/computation/ModelCheckThread.java similarity index 100% rename from src/userinterface/properties/computation/ModelCheckThread.java rename to prism/src/userinterface/properties/computation/ModelCheckThread.java diff --git a/src/userinterface/properties/computation/SavePropertiesThread.java b/prism/src/userinterface/properties/computation/SavePropertiesThread.java similarity index 100% rename from src/userinterface/properties/computation/SavePropertiesThread.java rename to prism/src/userinterface/properties/computation/SavePropertiesThread.java diff --git a/src/userinterface/properties/computation/SimulateModelCheckThread.java b/prism/src/userinterface/properties/computation/SimulateModelCheckThread.java similarity index 100% rename from src/userinterface/properties/computation/SimulateModelCheckThread.java rename to prism/src/userinterface/properties/computation/SimulateModelCheckThread.java diff --git a/src/userinterface/simulator/GUIInitialStatePicker.form b/prism/src/userinterface/simulator/GUIInitialStatePicker.form similarity index 100% rename from src/userinterface/simulator/GUIInitialStatePicker.form rename to prism/src/userinterface/simulator/GUIInitialStatePicker.form diff --git a/src/userinterface/simulator/GUIInitialStatePicker.java b/prism/src/userinterface/simulator/GUIInitialStatePicker.java similarity index 100% rename from src/userinterface/simulator/GUIInitialStatePicker.java rename to prism/src/userinterface/simulator/GUIInitialStatePicker.java diff --git a/src/userinterface/simulator/GUISimLabelFormulaeList.java b/prism/src/userinterface/simulator/GUISimLabelFormulaeList.java similarity index 100% rename from src/userinterface/simulator/GUISimLabelFormulaeList.java rename to prism/src/userinterface/simulator/GUISimLabelFormulaeList.java diff --git a/src/userinterface/simulator/GUISimPathFormulaeList.java b/prism/src/userinterface/simulator/GUISimPathFormulaeList.java similarity index 100% rename from src/userinterface/simulator/GUISimPathFormulaeList.java rename to prism/src/userinterface/simulator/GUISimPathFormulaeList.java diff --git a/src/userinterface/simulator/GUISimulator.form b/prism/src/userinterface/simulator/GUISimulator.form similarity index 100% rename from src/userinterface/simulator/GUISimulator.form rename to prism/src/userinterface/simulator/GUISimulator.form diff --git a/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java similarity index 100% rename from src/userinterface/simulator/GUISimulator.java rename to prism/src/userinterface/simulator/GUISimulator.java diff --git a/src/userinterface/simulator/GUISimulatorPathTable.java b/prism/src/userinterface/simulator/GUISimulatorPathTable.java similarity index 100% rename from src/userinterface/simulator/GUISimulatorPathTable.java rename to prism/src/userinterface/simulator/GUISimulatorPathTable.java diff --git a/src/userinterface/simulator/GUISimulatorUpdatesTable.java b/prism/src/userinterface/simulator/GUISimulatorUpdatesTable.java similarity index 100% rename from src/userinterface/simulator/GUISimulatorUpdatesTable.java rename to prism/src/userinterface/simulator/GUISimulatorUpdatesTable.java diff --git a/src/userinterface/simulator/networking/GUINetworkEditor.form b/prism/src/userinterface/simulator/networking/GUINetworkEditor.form similarity index 100% rename from src/userinterface/simulator/networking/GUINetworkEditor.form rename to prism/src/userinterface/simulator/networking/GUINetworkEditor.form diff --git a/src/userinterface/simulator/networking/GUINetworkEditor.java b/prism/src/userinterface/simulator/networking/GUINetworkEditor.java similarity index 100% rename from src/userinterface/simulator/networking/GUINetworkEditor.java rename to prism/src/userinterface/simulator/networking/GUINetworkEditor.java diff --git a/src/userinterface/simulator/networking/GUISimulatorDistributionDialog.form b/prism/src/userinterface/simulator/networking/GUISimulatorDistributionDialog.form similarity index 100% rename from src/userinterface/simulator/networking/GUISimulatorDistributionDialog.form rename to prism/src/userinterface/simulator/networking/GUISimulatorDistributionDialog.form diff --git a/src/userinterface/simulator/networking/GUISimulatorDistributionDialog.java b/prism/src/userinterface/simulator/networking/GUISimulatorDistributionDialog.java similarity index 100% rename from src/userinterface/simulator/networking/GUISimulatorDistributionDialog.java rename to prism/src/userinterface/simulator/networking/GUISimulatorDistributionDialog.java diff --git a/src/userinterface/util/BooleanProperty.java b/prism/src/userinterface/util/BooleanProperty.java similarity index 100% rename from src/userinterface/util/BooleanProperty.java rename to prism/src/userinterface/util/BooleanProperty.java diff --git a/src/userinterface/util/ChoiceProperty.java b/prism/src/userinterface/util/ChoiceProperty.java similarity index 100% rename from src/userinterface/util/ChoiceProperty.java rename to prism/src/userinterface/util/ChoiceProperty.java diff --git a/src/userinterface/util/ColourProperty.java b/prism/src/userinterface/util/ColourProperty.java similarity index 100% rename from src/userinterface/util/ColourProperty.java rename to prism/src/userinterface/util/ColourProperty.java diff --git a/src/userinterface/util/DoubleProperty.java b/prism/src/userinterface/util/DoubleProperty.java similarity index 100% rename from src/userinterface/util/DoubleProperty.java rename to prism/src/userinterface/util/DoubleProperty.java diff --git a/src/userinterface/util/ExpressionProperty.java b/prism/src/userinterface/util/ExpressionProperty.java similarity index 100% rename from src/userinterface/util/ExpressionProperty.java rename to prism/src/userinterface/util/ExpressionProperty.java diff --git a/src/userinterface/util/FontChooser.form b/prism/src/userinterface/util/FontChooser.form similarity index 100% rename from src/userinterface/util/FontChooser.form rename to prism/src/userinterface/util/FontChooser.form diff --git a/src/userinterface/util/FontChooser.java b/prism/src/userinterface/util/FontChooser.java similarity index 100% rename from src/userinterface/util/FontChooser.java rename to prism/src/userinterface/util/FontChooser.java diff --git a/src/userinterface/util/FontColorPair.java b/prism/src/userinterface/util/FontColorPair.java similarity index 100% rename from src/userinterface/util/FontColorPair.java rename to prism/src/userinterface/util/FontColorPair.java diff --git a/src/userinterface/util/FontColorProperty.java b/prism/src/userinterface/util/FontColorProperty.java similarity index 100% rename from src/userinterface/util/FontColorProperty.java rename to prism/src/userinterface/util/FontColorProperty.java diff --git a/src/userinterface/util/GUIComputationEvent.java b/prism/src/userinterface/util/GUIComputationEvent.java similarity index 100% rename from src/userinterface/util/GUIComputationEvent.java rename to prism/src/userinterface/util/GUIComputationEvent.java diff --git a/src/userinterface/util/GUIEvent.java b/prism/src/userinterface/util/GUIEvent.java similarity index 100% rename from src/userinterface/util/GUIEvent.java rename to prism/src/userinterface/util/GUIEvent.java diff --git a/src/userinterface/util/GUIEventHandler.java b/prism/src/userinterface/util/GUIEventHandler.java similarity index 100% rename from src/userinterface/util/GUIEventHandler.java rename to prism/src/userinterface/util/GUIEventHandler.java diff --git a/src/userinterface/util/GUIEventListener.java b/prism/src/userinterface/util/GUIEventListener.java similarity index 100% rename from src/userinterface/util/GUIEventListener.java rename to prism/src/userinterface/util/GUIEventListener.java diff --git a/src/userinterface/util/GUIException.java b/prism/src/userinterface/util/GUIException.java similarity index 100% rename from src/userinterface/util/GUIException.java rename to prism/src/userinterface/util/GUIException.java diff --git a/src/userinterface/util/GUIExitEvent.java b/prism/src/userinterface/util/GUIExitEvent.java similarity index 100% rename from src/userinterface/util/GUIExitEvent.java rename to prism/src/userinterface/util/GUIExitEvent.java diff --git a/src/userinterface/util/GUILogEvent.java b/prism/src/userinterface/util/GUILogEvent.java similarity index 100% rename from src/userinterface/util/GUILogEvent.java rename to prism/src/userinterface/util/GUILogEvent.java diff --git a/src/userinterface/util/GUIPrismFileFilter.java b/prism/src/userinterface/util/GUIPrismFileFilter.java similarity index 100% rename from src/userinterface/util/GUIPrismFileFilter.java rename to prism/src/userinterface/util/GUIPrismFileFilter.java diff --git a/src/userinterface/util/MultipleProperty.java b/prism/src/userinterface/util/MultipleProperty.java similarity index 100% rename from src/userinterface/util/MultipleProperty.java rename to prism/src/userinterface/util/MultipleProperty.java diff --git a/src/userinterface/util/PresentationMetalTheme.java b/prism/src/userinterface/util/PresentationMetalTheme.java similarity index 100% rename from src/userinterface/util/PresentationMetalTheme.java rename to prism/src/userinterface/util/PresentationMetalTheme.java diff --git a/src/userinterface/util/PropertyConstants.java b/prism/src/userinterface/util/PropertyConstants.java similarity index 100% rename from src/userinterface/util/PropertyConstants.java rename to prism/src/userinterface/util/PropertyConstants.java diff --git a/src/userinterface/util/PropertyException.java b/prism/src/userinterface/util/PropertyException.java similarity index 100% rename from src/userinterface/util/PropertyException.java rename to prism/src/userinterface/util/PropertyException.java diff --git a/src/userinterface/util/PropertyOwner.java b/prism/src/userinterface/util/PropertyOwner.java similarity index 100% rename from src/userinterface/util/PropertyOwner.java rename to prism/src/userinterface/util/PropertyOwner.java diff --git a/src/userinterface/util/PropertyTable.form b/prism/src/userinterface/util/PropertyTable.form similarity index 100% rename from src/userinterface/util/PropertyTable.form rename to prism/src/userinterface/util/PropertyTable.form diff --git a/src/userinterface/util/PropertyTable.java b/prism/src/userinterface/util/PropertyTable.java similarity index 100% rename from src/userinterface/util/PropertyTable.java rename to prism/src/userinterface/util/PropertyTable.java diff --git a/src/userinterface/util/PropertyTableModel.java b/prism/src/userinterface/util/PropertyTableModel.java similarity index 100% rename from src/userinterface/util/PropertyTableModel.java rename to prism/src/userinterface/util/PropertyTableModel.java diff --git a/src/userinterface/util/SelectionEvent.java b/prism/src/userinterface/util/SelectionEvent.java similarity index 100% rename from src/userinterface/util/SelectionEvent.java rename to prism/src/userinterface/util/SelectionEvent.java diff --git a/src/userinterface/util/SelectionListener.java b/prism/src/userinterface/util/SelectionListener.java similarity index 100% rename from src/userinterface/util/SelectionListener.java rename to prism/src/userinterface/util/SelectionListener.java diff --git a/src/userinterface/util/SelectionModel.java b/prism/src/userinterface/util/SelectionModel.java similarity index 100% rename from src/userinterface/util/SelectionModel.java rename to prism/src/userinterface/util/SelectionModel.java diff --git a/src/userinterface/util/SeriesDataProperty.java b/prism/src/userinterface/util/SeriesDataProperty.java similarity index 100% rename from src/userinterface/util/SeriesDataProperty.java rename to prism/src/userinterface/util/SeriesDataProperty.java diff --git a/src/userinterface/util/SingleProperty.java b/prism/src/userinterface/util/SingleProperty.java similarity index 100% rename from src/userinterface/util/SingleProperty.java rename to prism/src/userinterface/util/SingleProperty.java diff --git a/src/userinterface/util/Test2.form b/prism/src/userinterface/util/Test2.form similarity index 100% rename from src/userinterface/util/Test2.form rename to prism/src/userinterface/util/Test2.form diff --git a/src/userinterface/util/Test2.java b/prism/src/userinterface/util/Test2.java similarity index 100% rename from src/userinterface/util/Test2.java rename to prism/src/userinterface/util/Test2.java