Tue, 28 Jul 2009 14:30:52 -0500 Don't use internal platsim name (moved to Session.java)
timkelly [Tue, 28 Jul 2009 14:30:52 -0500] rev 379
Don't use internal platsim name (moved to Session.java)
(0) -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 +1000 tip