diff examples/navtest.urs @ 7:48a4180171b0

Shifted some more generic theme navigation code to the library. Also generalized formatting options a bit for popupNav.
author Karn Kallio <kkallio@eka>
date Fri, 06 May 2011 23:00:22 -0430
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/navtest.urs	Fri May 06 23:00:22 2011 -0430
@@ -0,0 +1,1 @@
+val main : unit -> transaction page