Keejeong
FrontPage
|
FindPage
|
TitleIndex
|
RecentChanges
|
UserPreferences
Heracles
›
Dedekind
›
ErMaker
›
WikiWord
›
Peanuts
›
Keejeong
Revision History
Ver.
Date
Changes
Editor
Compare
View
1.1
2005-08-25 05:31:29
PuzzletChung
view
source
if ($lastedit) print "last modified $lastedit $lasttime
"; if (isset($options[timer])) print $menu.$banner."
".$options[timer]->Write()."
"; else print $menu.$banner."
".$timer; ?> # # ?>