Raptor.Tutorial
Class easyAssign

java.lang.Object
  extended by Raptor.Tutorial.Tutorial
      extended by Raptor.Tutorial.easyAssign

public class easyAssign
extends Tutorial


Constructor Summary
easyAssign(ProofWindow pParentWindow)
           
 
Method Summary
 
Methods inherited from class Raptor.Tutorial.Tutorial
getPost, getPre, getProgram, getTutorialLevel, getTutorialName
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

easyAssign

public easyAssign(ProofWindow pParentWindow)