notational adhesion

7 years ago · 00294c12ec
parent af930898c2
commit 00294c12ec
6 changed files with 21 additions and 21 deletions
--- a/pollen/main.rkt
+++ b/pollen/main.rkt
@ -1,5 +1,5 @@
-(module main "private/main-base.rkt"
+#lang s-exp "private/main-base.rkt"
-  default-mode-preproc
+default-mode-preproc
-  (module reader "private/reader-base.rkt"
+(module reader "private/reader-base.rkt"
-    default-mode-auto))
+  default-mode-auto)
--- a/pollen/markdown.rkt
+++ b/pollen/markdown.rkt
@ -1,5 +1,5 @@
-(module markdown "private/main-base.rkt"
+#lang s-exp "private/main-base.rkt"
-  default-mode-markdown
+default-mode-markdown
-  (module reader "private/reader-base.rkt"
+(module reader "private/reader-base.rkt"
-    default-mode-markdown))
+  default-mode-markdown)
--- a/pollen/markup.rkt
+++ b/pollen/markup.rkt
@ -1,5 +1,5 @@
-(module markup "private/main-base.rkt"
+#lang s-exp "private/main-base.rkt"
-  default-mode-markup
+default-mode-markup
-  (module reader "private/reader-base.rkt"
+(module reader "private/reader-base.rkt"
-    default-mode-markup))
+  default-mode-markup)
--- a/pollen/pre.rkt
+++ b/pollen/pre.rkt
@ -1,5 +1,5 @@
-(module pre "private/main-base.rkt"
+#lang s-exp "private/main-base.rkt"
-  default-mode-preproc
+default-mode-preproc
-  (module reader "private/reader-base.rkt"
+(module reader "private/reader-base.rkt"
-    default-mode-preproc))
+  default-mode-preproc)
--- a/pollen/private/ts.rktd
+++ b/pollen/private/ts.rktd
@ -1 +1 @@
-1511803972
+1511919597
--- a/pollen/ptree.rkt
+++ b/pollen/ptree.rkt
@ -1,5 +1,5 @@
-(module ptree "private/main-base.rkt"
+#lang s-exp "private/main-base.rkt"
-  default-mode-pagetree
+default-mode-pagetree
-  (module reader "private/reader-base.rkt"
+(module reader "private/reader-base.rkt"
-    default-mode-pagetree))
+  default-mode-pagetree)