;; automatically generated, don't edit
;; /tmp/hop-3.0.0-rc9/weblets/home
;; Sun Dec 13 09:06:19 2015

(
  (hophome_config "config.hop")
  (hophome_demo "demo.hop")
  (hophome_demos-map "demos/map/map.hop")
  (hophome_demos-minesweeper "demos/minesweeper/minesweeper.hop")
  (hophome_demos-minesweeper_js "demos/minesweeper/minesweeper.scm")
  (hophome_demos-music "demos/music/music.hop")
  (hophome_demos-popart "demos/popart/popart.hop")
  (hophome_demos-rewrite "demos/rewrite/rewrite.hop")
  (hophome_demos-rss "demos/rss/rss.hop")
  (hophome_demos-set-game "demos/set/game.hop")
  (hophome_demos-set "demos/set/set.hop")
  (hophome_demos-set_js "demos/set/set.scm")
  (hophome_demos-set-util "demos/set/util.hop")
  (hophome_demos-source "demos/source/source.hop")
  (hophome_demos-sudoku "demos/sudoku/sudoku.hop")
  (hophome_demos-sudoku_js "demos/sudoku/sudoku.scm")
  (hophome_demos-video "demos/video/video.hop")
  (hophome_demos-wiki "demos/wiki/wiki.hop")
  (hophome "home.hop")
  (hophome_widgets "widgets.hop")
  (hophome_wiki "wiki.hop")
)

