From 901a1d16ad139312814c5ba739fe29fb107045cd Mon Sep 17 00:00:00 2001 From: Aaron Tomb Date: Mon, 24 Jul 2017 16:22:00 -0700 Subject: [PATCH] Remove references to `cryptol-server` from README --- README.md | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/README.md b/README.md index cd9307408..5d96fef82 100644 --- a/README.md +++ b/README.md @@ -177,24 +177,6 @@ be happy to incorporate your changes. well as the Cryptol sources and expected outputs that comprise that suite -### Cryptol Notebook (Experimental) - -The ICryptol notebook interface is now a -[standalone project](https://github.com/GaloisInc/ICryptol). - -### Cryptol Server and pycryptol (Experimental) - -This package includes an executable in `/cryptol-server` that provides -an interface to the Cryptol interpreter via JSON over -ZeroMQ. Currently this is used to support the -[`pycryptol`](http://pycryptol.readthedocs.org/en/latest/) library. It -is part of this package because we intend to eventually make the -console REPL a client of that server as well. The `cryptol-server` -executable is included in any builds if the `CRYPTOL_SERVER` -environment variable is non-empty when running `make`, for example: - - CRYPTOL_SERVER=1 make dist - # Where to Look Next The `docs` directory of the installation package contains an