Skip to content
Snippets Groups Projects
Select Git revision
  • master default
1 result
Compare
user avatar
change generateProofTreeHTML function by inserting an attribute to record the...
Jenny Zhang authored 
change generateProofTreeHTML function by inserting an attribute to record the original string. So that we could  pass it to the dialog for rule application. And added currentString and conclusionString to pass this original tring
977c971e
History
user avatar 977c971e
History
Name Last commit Last update
public
src
tests/unit
.gitignore
README.md
babel.config.js
jsconfig.json
package-lock.json
package.json
vue.config.js
README.md

individual_project_vue

Project setup

npm install

Compiles and hot-reloads for development

npm run serve

Compiles and minifies for production

npm run build

Lints and fixes files

npm run lint

Customize configuration

See Configuration Reference.