diff --git a/collects/datalog/eval.rkt b/collects/datalog/eval.rkt
index c6d289a..5cd00f4 100644
--- a/collects/datalog/eval.rkt
+++ b/collects/datalog/eval.rkt
@@ -40,4 +40,4 @@
  [print-questions ((listof question/c) . -> . void)]
  [eval-program (program/c . -> . void)]
  [eval-top-level-statement (statement/c . -> . void)]
- [eval-statement (statement/c . -> . (or/c void (listof question/c)))])
\ No newline at end of file
+ [eval-statement (statement/c . -> . (or/c void (listof question/c)))])
diff --git a/collects/datalog/info.rkt b/collects/datalog/info.rkt
index aed5db6..dbee0f5 100644
--- a/collects/datalog/info.rkt
+++ b/collects/datalog/info.rkt
@@ -1,3 +1,3 @@
 #lang setup/infotab
 (define scribblings '(["scribblings/datalog.scrbl" (multi-page) (language)]))
-(define compile-omit-paths '("tests"))
\ No newline at end of file
+(define compile-omit-paths '("tests"))
diff --git a/collects/datalog/lang/lang-info.rkt b/collects/datalog/lang/lang-info.rkt
index 760c5af..de16fd3 100644
--- a/collects/datalog/lang/lang-info.rkt
+++ b/collects/datalog/lang/lang-info.rkt
@@ -7,4 +7,4 @@
        '(#(datalog/lang/configure-runtime configure #f))]
       [else
        default])))
-(provide get-info)
\ No newline at end of file
+(provide get-info)
diff --git a/collects/datalog/lang/reader.rkt b/collects/datalog/lang/reader.rkt
index ece754f..0d8ed43 100644
--- a/collects/datalog/lang/reader.rkt
+++ b/collects/datalog/lang/reader.rkt
@@ -19,4 +19,4 @@
   (define (this-read-syntax [src #f] [in (current-input-port)])
     (compile-program
      (parameterize ([current-source-name src])
-       (parse-program in)))))
\ No newline at end of file
+       (parse-program in)))))
diff --git a/collects/datalog/main.rkt b/collects/datalog/main.rkt
index 4aad39a..7f8a653 100644
--- a/collects/datalog/main.rkt
+++ b/collects/datalog/main.rkt
@@ -3,4 +3,4 @@
          "stx.rkt")
 (provide make-theory
          theory/c
-         (all-from-out "stx.rkt"))
\ No newline at end of file
+         (all-from-out "stx.rkt"))
diff --git a/collects/datalog/parse.rkt b/collects/datalog/parse.rkt
index 04531cd..e6e58ac 100644
--- a/collects/datalog/parse.rkt
+++ b/collects/datalog/parse.rkt
@@ -79,4 +79,4 @@
  [parse-literal (input-port? . -> . literal?)]
  [parse-clause (input-port? . -> . clause?)]
  [parse-statement (input-port? . -> . statement/c)]
- [parse-program (input-port? . -> . program/c)])
\ No newline at end of file
+ [parse-program (input-port? . -> . program/c)])
diff --git a/collects/datalog/pretty.rkt b/collects/datalog/pretty.rkt
index 9aaed2a..23872f8 100644
--- a/collects/datalog/pretty.rkt
+++ b/collects/datalog/pretty.rkt
@@ -88,4 +88,4 @@
  [format-retraction (retraction? . -> . doc?)]
  [format-query (query? . -> . doc?)]
  [format-statement (statement/c . -> . doc?)]
- [format-program (program/c . -> . doc?)])
\ No newline at end of file
+ [format-program (program/c . -> . doc?)])
diff --git a/collects/datalog/private/env.rkt b/collects/datalog/private/env.rkt
index 8e12bed..e89411b 100644
--- a/collects/datalog/private/env.rkt
+++ b/collects/datalog/private/env.rkt
@@ -14,4 +14,4 @@
  [env/c contract?]
  [empty-env (-> env/c)]
  [lookup ((env/c symbol?) (term/c) . ->* . (or/c false/c term/c))]
- [extend (env/c symbol? term/c . -> . void)])
\ No newline at end of file
+ [extend (env/c symbol? term/c . -> . void)])
diff --git a/collects/datalog/private/lex.rkt b/collects/datalog/private/lex.rkt
index e2ca602..30ded8a 100644
--- a/collects/datalog/private/lex.rkt
+++ b/collects/datalog/private/lex.rkt
@@ -33,7 +33,7 @@
    [#\" (token-STRING (list->string (get-string-token input-port)))]
    [#\( (token-LPAREN)]
    [#\, (token-COMMA)]
-   [#\) (token-RPAREN)]   
+   [#\) (token-RPAREN)]
    [#\. (token-DOT)]
    [#\~ (token-TILDE)]
    [#\? (token-QMARK)]
@@ -41,6 +41,6 @@
    ["!=" (token-NEQUAL)]
    [(eof) (token-EOF)]))
 
-(provide dtokens dpunct 
+(provide dtokens dpunct
          line-break id-chars variable-re identifier-re comment-re
-         dlexer)
\ No newline at end of file
+         dlexer)
diff --git a/collects/datalog/private/pprint.rkt b/collects/datalog/private/pprint.rkt
index faf3476..92fb922 100644
--- a/collects/datalog/private/pprint.rkt
+++ b/collects/datalog/private/pprint.rkt
@@ -17,4 +17,4 @@
 (define dot ".")
 (define (nest n d) d)
 (define char string)
-(define doc? string?)
\ No newline at end of file
+(define doc? string?)
diff --git a/collects/datalog/private/subst.rkt b/collects/datalog/private/subst.rkt
index 646e66d..9de80d2 100644
--- a/collects/datalog/private/subst.rkt
+++ b/collects/datalog/private/subst.rkt
@@ -72,4 +72,4 @@
  [subst-term (env/c term/c . -> . term/c)]
  [subst-clause (env/c clause? . -> . clause?)]
  [rename-clause (clause? . -> . clause?)]
- [rename-question (question/c . -> . question/c)])
\ No newline at end of file
+ [rename-question (question/c . -> . question/c)])
diff --git a/collects/datalog/private/unify.rkt b/collects/datalog/private/unify.rkt
index fabbdf2..10f5b37 100644
--- a/collects/datalog/private/unify.rkt
+++ b/collects/datalog/private/unify.rkt
@@ -56,4 +56,4 @@
 (provide/contract
  [unify (question/c question/c . -> . (or/c false/c env/c))]
  [unify-terms (env/c (listof term/c) (listof term/c) . -> . (or/c false/c env/c))]
- [unify-term (env/c term/c term/c . -> . (or/c false/c env/c))])
\ No newline at end of file
+ [unify-term (env/c term/c term/c . -> . (or/c false/c env/c))])
diff --git a/collects/datalog/private/variant.rkt b/collects/datalog/private/variant.rkt
index 76b77e4..e55fe34 100644
--- a/collects/datalog/private/variant.rkt
+++ b/collects/datalog/private/variant.rkt
@@ -102,4 +102,4 @@
  [make-literal-tbl (-> literal-tbl/c)]
  [literal-tbl-find (literal-tbl/c question/c . -> . (or/c false/c any/c))]
  [literal-tbl-replace! (literal-tbl/c question/c any/c . -> . void)]
- [mem-literal (question/c (listof question/c) . -> . boolean?)])
\ No newline at end of file
+ [mem-literal (question/c (listof question/c) . -> . boolean?)])
diff --git a/collects/datalog/runtime.rkt b/collects/datalog/runtime.rkt
index 4bf5b5f..ac599d2 100644
--- a/collects/datalog/runtime.rkt
+++ b/collects/datalog/runtime.rkt
@@ -149,4 +149,4 @@
  [make-theory (-> theory/c)]
  [assume! (theory/c safe-clause? . -> . void)]
  [retract! (theory/c clause? . -> . void)]
- [prove (theory/c question/c . -> . (listof question/c))])
\ No newline at end of file
+ [prove (theory/c question/c . -> . (listof question/c))])
diff --git a/collects/datalog/scribblings/datalog.scrbl b/collects/datalog/scribblings/datalog.scrbl
index 048fda4..a4bb5e2 100644
--- a/collects/datalog/scribblings/datalog.scrbl
+++ b/collects/datalog/scribblings/datalog.scrbl
@@ -176,4 +176,4 @@ Another important reference is
 @link["http://portal.acm.org/citation.cfm?id=227597"]{Tabled Evaluation with Delaying for General Logic Programs} by W. Chen and D. S. Warren.
 Datalog is described in 
 @link["http://doi.ieeecomputersociety.org/10.1109/69.43410"]{What You Always Wanted to Know About Datalog (And Never Dared to Ask)}
-by Stefano Ceri, Georg Gottlob, and Letizia Tanca.
\ No newline at end of file
+by Stefano Ceri, Georg Gottlob, and Letizia Tanca.
diff --git a/collects/datalog/scribblings/racket.scrbl b/collects/datalog/scribblings/racket.scrbl
index 70f3b33..9c53c8f 100644
--- a/collects/datalog/scribblings/racket.scrbl
+++ b/collects/datalog/scribblings/racket.scrbl
@@ -83,4 +83,4 @@ External queries invalidate Datalog's guaranteed termination. For example, this
                  (add1 X :- Z)
                  (loop Z)))
           (? (loop 1)))
- ]
\ No newline at end of file
+ ]
diff --git a/collects/datalog/sexp/lang.rkt b/collects/datalog/sexp/lang.rkt
index c62dc79..de07816 100644
--- a/collects/datalog/sexp/lang.rkt
+++ b/collects/datalog/sexp/lang.rkt
@@ -47,4 +47,4 @@
          (except-out (all-from-out racket/base)
                      #%top-interaction
                      #%module-begin)
-         ! ~ ? :-)
\ No newline at end of file
+         ! ~ ? :-)
diff --git a/collects/datalog/sexp/lang/reader.rkt b/collects/datalog/sexp/lang/reader.rkt
index 546cb06..d2f4e05 100644
--- a/collects/datalog/sexp/lang/reader.rkt
+++ b/collects/datalog/sexp/lang/reader.rkt
@@ -1,2 +1,2 @@
 (module reader syntax/module-reader
-  #:language 'datalog/sexp/lang)
\ No newline at end of file
+  #:language 'datalog/sexp/lang)
diff --git a/collects/datalog/tool/submit.rkt b/collects/datalog/tool/submit.rkt
index f16281a..61db9be 100644
--- a/collects/datalog/tool/submit.rkt
+++ b/collects/datalog/tool/submit.rkt
@@ -51,4 +51,4 @@
                    delimiter-stack
                    closed?)])))))
 
-(provide repl-submit?)
\ No newline at end of file
+(provide repl-submit?)
diff --git a/collects/datalog/tool/syntax-color.rkt b/collects/datalog/tool/syntax-color.rkt
index 7974d22..19da6ba 100644
--- a/collects/datalog/tool/syntax-color.rkt
+++ b/collects/datalog/tool/syntax-color.rkt
@@ -33,4 +33,4 @@
    [(:or "!=" #\= #\? #\~ #\. #\, ":-") (syn-val lexeme 'parenthesis #f start-pos end-pos)]
    [(eof) (syn-val lexeme 'eof #f start-pos end-pos)]
    [#\" ((colorize-string start-pos) input-port)]
-   [any-char (syn-val lexeme 'error #f start-pos end-pos)]))
\ No newline at end of file
+   [any-char (syn-val lexeme 'error #f start-pos end-pos)]))
diff --git a/collects/tests/datalog/ast.rkt b/collects/tests/datalog/ast.rkt
index ec6e6ee..db56633 100644
--- a/collects/tests/datalog/ast.rkt
+++ b/collects/tests/datalog/ast.rkt
@@ -77,4 +77,4 @@
     (test-false "lit" (clause-equal? (make-clause #f (make-literal #f 'lit1 empty) (list (make-literal #f 'lit1 empty)))
                                      (make-clause #f (make-literal #f 'lit1 empty) empty)))
     (test-false "lit" (clause-equal? (make-clause #f (make-literal #f 'lit1 empty) (list (make-literal #f 'lit1 empty)))
-                                     (make-clause #f (make-literal #f 'lit1 empty) (list (make-literal #f 'lit2 empty))))))))
\ No newline at end of file
+                                     (make-clause #f (make-literal #f 'lit1 empty) (list (make-literal #f 'lit2 empty))))))))
diff --git a/collects/tests/datalog/eval.rkt b/collects/tests/datalog/eval.rkt
index 4cdf4b2..bc80718 100644
--- a/collects/tests/datalog/eval.rkt
+++ b/collects/tests/datalog/eval.rkt
@@ -35,4 +35,4 @@
    "eval"
    
    (test-examples (build-path here "examples"))
-   (test-examples (build-path here "paren-examples"))))
\ No newline at end of file
+   (test-examples (build-path here "paren-examples"))))
diff --git a/collects/tests/datalog/examples/ancestor.rkt b/collects/tests/datalog/examples/ancestor.rkt
index f448960..d60fbb0 100644
--- a/collects/tests/datalog/examples/ancestor.rkt
+++ b/collects/tests/datalog/examples/ancestor.rkt
@@ -9,4 +9,4 @@ ancestor(A, B) :-
 parent(john, douglas).
 parent(bob, john).
 parent(ebbon, bob).
-ancestor(A, B)?
\ No newline at end of file
+ancestor(A, B)?
diff --git a/collects/tests/datalog/examples/empty.rkt b/collects/tests/datalog/examples/empty.rkt
index 892af15..d5dba62 100644
--- a/collects/tests/datalog/examples/empty.rkt
+++ b/collects/tests/datalog/examples/empty.rkt
@@ -1 +1 @@
-#lang datalog
\ No newline at end of file
+#lang datalog
diff --git a/collects/tests/datalog/examples/sym.rkt b/collects/tests/datalog/examples/sym.rkt
index 1fd6368..407a96b 100644
--- a/collects/tests/datalog/examples/sym.rkt
+++ b/collects/tests/datalog/examples/sym.rkt
@@ -5,4 +5,4 @@ sym(b).
 sym(c).
 perm(X,Y) :- sym(X), sym(Y), X != Y.
 
-perm(X,Y)?
\ No newline at end of file
+perm(X,Y)?
diff --git a/collects/tests/datalog/main.rkt b/collects/tests/datalog/main.rkt
index b73ad06..61214ab 100644
--- a/collects/tests/datalog/main.rkt
+++ b/collects/tests/datalog/main.rkt
@@ -42,4 +42,4 @@
   
   (test-case "Racket Interop"
              (parameterize ([current-output-port stdout])
-               (dynamic-require racket-mod #f)))))
\ No newline at end of file
+               (dynamic-require racket-mod #f)))))
diff --git a/collects/tests/datalog/paren-examples/add1.rkt b/collects/tests/datalog/paren-examples/add1.rkt
index f89b1b0..0f70b79 100644
--- a/collects/tests/datalog/paren-examples/add1.rkt
+++ b/collects/tests/datalog/paren-examples/add1.rkt
@@ -7,4 +7,4 @@
 
 (? (add2 1 3))
 
-(? (add1 X :- 1))
\ No newline at end of file
+(? (add1 X :- 1))
diff --git a/collects/tests/datalog/paren-examples/bidipath.rkt b/collects/tests/datalog/paren-examples/bidipath.rkt
index 5c32fbb..fa0440f 100644
--- a/collects/tests/datalog/paren-examples/bidipath.rkt
+++ b/collects/tests/datalog/paren-examples/bidipath.rkt
@@ -12,4 +12,4 @@
 (! (:- (path X Y)
        (path X Z)
        (edge Z Y)))
-(? (path X Y))
\ No newline at end of file
+(? (path X Y))
diff --git a/collects/tests/datalog/paren-examples/empty.rkt b/collects/tests/datalog/paren-examples/empty.rkt
index 548c66d..dcc61e9 100644
--- a/collects/tests/datalog/paren-examples/empty.rkt
+++ b/collects/tests/datalog/paren-examples/empty.rkt
@@ -1 +1 @@
-#lang datalog/sexp
\ No newline at end of file
+#lang datalog/sexp
diff --git a/collects/tests/datalog/paren-examples/req.rkt b/collects/tests/datalog/paren-examples/req.rkt
index c7cfb8d..620005a 100644
--- a/collects/tests/datalog/paren-examples/req.rkt
+++ b/collects/tests/datalog/paren-examples/req.rkt
@@ -1,4 +1,4 @@
 #lang datalog/sexp
 (require racket/math)
 
-(? (sqr 4 :- X))
\ No newline at end of file
+(? (sqr 4 :- X))
diff --git a/collects/tests/datalog/paren-examples/revpath.rkt b/collects/tests/datalog/paren-examples/revpath.rkt
index 5899cdf..15751f1 100644
--- a/collects/tests/datalog/paren-examples/revpath.rkt
+++ b/collects/tests/datalog/paren-examples/revpath.rkt
@@ -9,4 +9,4 @@
 (! (:- (path X Y)
        (path X Z)
        (edge Z Y)))
-(? (path X Y))
\ No newline at end of file
+(? (path X Y))
diff --git a/collects/tests/datalog/paren-examples/sym.rkt b/collects/tests/datalog/paren-examples/sym.rkt
index 9d05e6b..c2b0777 100644
--- a/collects/tests/datalog/paren-examples/sym.rkt
+++ b/collects/tests/datalog/paren-examples/sym.rkt
@@ -8,4 +8,4 @@
        (sym Y)
        (!= X Y)))
 
-(? (perm X Y))
\ No newline at end of file
+(? (perm X Y))
diff --git a/collects/tests/datalog/paren-examples/true.rkt b/collects/tests/datalog/paren-examples/true.rkt
index 18ccecb..0bce7f8 100644
--- a/collects/tests/datalog/paren-examples/true.rkt
+++ b/collects/tests/datalog/paren-examples/true.rkt
@@ -1,3 +1,3 @@
 #lang datalog/sexp
 (! true)
-(? true)
\ No newline at end of file
+(? true)
diff --git a/collects/tests/datalog/parse.rkt b/collects/tests/datalog/parse.rkt
index 293aff4..4b69cdd 100644
--- a/collects/tests/datalog/parse.rkt
+++ b/collects/tests/datalog/parse.rkt
@@ -51,4 +51,4 @@
     "statement"
     (test-not-false "assertion" (assertion? (parse-statement (open-input-string "parent(john, douglas)."))))
     (test-not-false "retraction" (retraction? (parse-statement (open-input-string "parent(john, douglas)~"))))
-    (test-not-false "query" (query? (parse-statement (open-input-string "parent(john, douglas)?")))))))
\ No newline at end of file
+    (test-not-false "query" (query? (parse-statement (open-input-string "parent(john, douglas)?")))))))
diff --git a/collects/tests/datalog/pretty.rkt b/collects/tests/datalog/pretty.rkt
index a0fe339..f2c5c55 100644
--- a/collects/tests/datalog/pretty.rkt
+++ b/collects/tests/datalog/pretty.rkt
@@ -46,4 +46,4 @@ parent(bob, john)~
 parent(A, B)?
 ancestor(A, B)?
 END
-                )))
\ No newline at end of file
+                )))
diff --git a/collects/tests/datalog/private/env.rkt b/collects/tests/datalog/private/env.rkt
index c9f5ad2..c7ab070 100644
--- a/collects/tests/datalog/private/env.rkt
+++ b/collects/tests/datalog/private/env.rkt
@@ -19,4 +19,4 @@
                 (lookup (extend (extend (empty-env) 'v1 t1)
                                 'v1 t1)
                         'v1)
-                t1)))
\ No newline at end of file
+                t1)))
diff --git a/collects/tests/datalog/private/lex.rkt b/collects/tests/datalog/private/lex.rkt
index f4efacd..15d19da 100644
--- a/collects/tests/datalog/private/lex.rkt
+++ b/collects/tests/datalog/private/lex.rkt
@@ -35,4 +35,4 @@
    (test-lexer "    =" 'EQUAL #f)
    (test-lexer "% 12453\n=" 'EQUAL #f)
    
-   ))
\ No newline at end of file
+   ))
diff --git a/collects/tests/datalog/private/subst.rkt b/collects/tests/datalog/private/subst.rkt
index 2dc0a48..d83e990 100644
--- a/collects/tests/datalog/private/subst.rkt
+++ b/collects/tests/datalog/private/subst.rkt
@@ -111,4 +111,4 @@
                        (first
                         (clause-body
                          (rename-clause (make-clause #f (make-literal #f 'lit (list (make-constant #f 'v1)))
-                                                     (list (make-literal #f 'lit (list (make-variable #f 'v1)))))))))))))))
\ No newline at end of file
+                                                     (list (make-literal #f 'lit (list (make-variable #f 'v1)))))))))))))))
diff --git a/collects/tests/datalog/private/unify.rkt b/collects/tests/datalog/private/unify.rkt
index 688c381..7fbe375 100644
--- a/collects/tests/datalog/private/unify.rkt
+++ b/collects/tests/datalog/private/unify.rkt
@@ -51,4 +51,4 @@
     (test-false "lit/lit" (unify (make-literal #f 'lit1 empty) (make-literal #f 'lit2 empty)))
     (test-equal? "con/con" (unify (make-literal #f 'lit1 (list (make-constant #f 'k1)))
                                   (make-literal #f 'lit1 (list (make-constant #f 'k1))))
-                 (empty-env)))))
\ No newline at end of file
+                 (empty-env)))))
diff --git a/collects/tests/datalog/private/variant.rkt b/collects/tests/datalog/private/variant.rkt
index cd1299b..f3b0e90 100644
--- a/collects/tests/datalog/private/variant.rkt
+++ b/collects/tests/datalog/private/variant.rkt
@@ -56,4 +56,4 @@
                                                   (make-literal #f 'lit1 (list (make-variable #f 'v1)))))
       
       (test-not-false "var (dif name)" (literal-hash-equal? (make-literal #f 'lit1 (list (make-variable #f 'v2))) 
-                                                            (make-literal #f 'lit1 (list (make-variable #f 'v1)))))))))
\ No newline at end of file
+                                                            (make-literal #f 'lit1 (list (make-variable #f 'v1)))))))))
diff --git a/collects/tests/datalog/racket.rkt b/collects/tests/datalog/racket.rkt
index f0b78e5..5245122 100644
--- a/collects/tests/datalog/racket.rkt
+++ b/collects/tests/datalog/racket.rkt
@@ -81,4 +81,4 @@
        (hasheq 'A 'ebbon 'B 'john)
        (hasheq 'A 'ebbon 'B 'douglas))
  
- )
\ No newline at end of file
+ )
diff --git a/collects/tests/datalog/tool/syntax-color.rkt b/collects/tests/datalog/tool/syntax-color.rkt
index 5103300..2b9cfd8 100644
--- a/collects/tests/datalog/tool/syntax-color.rkt
+++ b/collects/tests/datalog/tool/syntax-color.rkt
@@ -35,4 +35,4 @@
    (test-color "\"fo\\\"o\"" 'string)
    (test-color "\"fo\no\"" 'string)
    (test-color "\"foo" 'error)
-   (test-color ":" 'error)))
\ No newline at end of file
+   (test-color ":" 'error)))