Cargo.lock « symbolmacro - isabelle-utils - attempts at improving isabelle tooling outside jedit

summary refs log tree commit diff

path: root/symbolmacro/Cargo.lock

blob: 1ed48a4015381f24a3b0305a98ce7ef63074f138 (plain)

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
[[package]]
name = "symbolmacro"
version = "0.1.0"