From 00294c12ec2be17a6054b3611293a070e545eac7 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Tue, 28 Nov 2017 17:39:57 -0800 Subject: [PATCH] notational adhesion --- pollen/main.rkt | 8 ++++---- pollen/markdown.rkt | 8 ++++---- pollen/markup.rkt | 8 ++++---- pollen/pre.rkt | 8 ++++---- pollen/private/ts.rktd | 2 +- pollen/ptree.rkt | 8 ++++---- 6 files changed, 21 insertions(+), 21 deletions(-) diff --git a/pollen/main.rkt b/pollen/main.rkt index f8fca88..0c4ce9d 100644 --- a/pollen/main.rkt +++ b/pollen/main.rkt @@ -1,5 +1,5 @@ -(module main "private/main-base.rkt" - default-mode-preproc +#lang s-exp "private/main-base.rkt" +default-mode-preproc - (module reader "private/reader-base.rkt" - default-mode-auto)) +(module reader "private/reader-base.rkt" + default-mode-auto) diff --git a/pollen/markdown.rkt b/pollen/markdown.rkt index acbec9e..c326617 100644 --- a/pollen/markdown.rkt +++ b/pollen/markdown.rkt @@ -1,5 +1,5 @@ -(module markdown "private/main-base.rkt" - default-mode-markdown +#lang s-exp "private/main-base.rkt" +default-mode-markdown - (module reader "private/reader-base.rkt" - default-mode-markdown)) +(module reader "private/reader-base.rkt" + default-mode-markdown) diff --git a/pollen/markup.rkt b/pollen/markup.rkt index 4d9f4ea..1fb3cae 100644 --- a/pollen/markup.rkt +++ b/pollen/markup.rkt @@ -1,5 +1,5 @@ -(module markup "private/main-base.rkt" - default-mode-markup +#lang s-exp "private/main-base.rkt" +default-mode-markup - (module reader "private/reader-base.rkt" - default-mode-markup)) +(module reader "private/reader-base.rkt" + default-mode-markup) \ No newline at end of file diff --git a/pollen/pre.rkt b/pollen/pre.rkt index 42710f4..5ec7ed2 100644 --- a/pollen/pre.rkt +++ b/pollen/pre.rkt @@ -1,5 +1,5 @@ -(module pre "private/main-base.rkt" - default-mode-preproc +#lang s-exp "private/main-base.rkt" +default-mode-preproc - (module reader "private/reader-base.rkt" - default-mode-preproc)) +(module reader "private/reader-base.rkt" + default-mode-preproc) diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index a049b5e..d2390e2 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1511803972 +1511919597 diff --git a/pollen/ptree.rkt b/pollen/ptree.rkt index 88cc0af..fa35516 100644 --- a/pollen/ptree.rkt +++ b/pollen/ptree.rkt @@ -1,5 +1,5 @@ -(module ptree "private/main-base.rkt" - default-mode-pagetree +#lang s-exp "private/main-base.rkt" +default-mode-pagetree - (module reader "private/reader-base.rkt" - default-mode-pagetree)) +(module reader "private/reader-base.rkt" + default-mode-pagetree)