isabelle-client-0.1.0
- isabelle-client 0.1.0
- Permalink
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- lotzk
- Dependencies
- env_logger ^0.10.0 normal
  
  log ^0.4.17 normal
  
  regex ^1.7.1 normal
  
  serde ^1.0 normal
  
  serde_json ^1.0 normal
  
  serial_test ^1.0.0 normal
  
  tokio ^1.24.1 normal
  
  tokio-test ^0.4.2 normal
- Versions
- 60.66% of the crate is documented
Platform
Feature flags

docs.rs

Rust

isabelle_client0.1.0

In isabelle_client::server

isabelle_client::server

Function exit

pub fn exit(name: &str) -> Result<ExitStatus>

Expand description

Exists the Isabelle server with the given name.