Skip to content

Commit f681d4e

Browse files
mattulbrichmattulbrich
committed
moving proof scripts into the user realm.
1 parent 4a39b67 commit f681d4e

File tree

8 files changed

+0
-0
lines changed

8 files changed

+0
-0
lines changed

docs/workbench/Proof Scripts/commands.md renamed to docs/user/ProofScripts/commands.md

File renamed without changes.

docs/workbench/Proof Scripts/index.md renamed to docs/user/ProofScripts/index.md

File renamed without changes.

docs/workbench/Proof Scripts/jml.md renamed to docs/user/ProofScripts/jml.md

File renamed without changes.

docs/workbench/Proof Scripts/language.md renamed to docs/user/ProofScripts/language.md

File renamed without changes.

docs/workbench/Proof Scripts/linearScripts.md renamed to docs/user/ProofScripts/linearScripts.md

File renamed without changes.

docs/workbench/Proof Scripts/macros.md renamed to docs/user/ProofScripts/macros.md

File renamed without changes.

docs/workbench/Proof Scripts/original.md renamed to docs/user/ProofScripts/original.md

File renamed without changes.

docs/workbench/Proof Scripts/variables.md renamed to docs/user/ProofScripts/variables.md

File renamed without changes.

0 commit comments

Comments
 (0)