From 5a021caf3ff516c110571bfb4485e833ba8b1d06 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Tue, 21 Sep 2021 22:25:59 +0200
Subject: proof of concept: talking to `isabelle server`

for now this just checks a file given on the command line, and panics if
anything at all goes wrong.
---
 isabelle-unicode/src/lib.rs | 17 -----------------
 1 file changed, 17 deletions(-)

(limited to 'isabelle-unicode')

diff --git a/isabelle-unicode/src/lib.rs b/isabelle-unicode/src/lib.rs
index 30a7cec..b9fcc37 100644
--- a/isabelle-unicode/src/lib.rs
+++ b/isabelle-unicode/src/lib.rs
@@ -53,20 +53,3 @@ impl PrettyUnicode for str {
     }
 }
 
-// fn main() {
-
-//     let stdin = io::stdin();
-
-//     stdin.lock()
-//          .lines()
-//          .filter_map(|line| match line {
-//              Ok(line) if line.trim().is_empty()
-//                  => Some("\n".to_string()),
-//              Ok(line)
-//                  => line.to_pretty_unicode(),
-//              Err(_)
-//                  => None
-//          })
-//         .for_each(|line| print!("{}", line));
-
-// }
-- 
cgit v1.2.3