Project

General

Profile

Actions
Copy link

Feature #10465

closed

Update Klever tutorial

Added by Evgeny Novikov over 4 years ago. Updated almost 4 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
Documentation
Target version:
3.0
Start date:
08/17/2020
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

After numerous changes that already were implemented and that will be implemented soon, we need to update the Klever tutorial.

Related issues 3 (0 open — 3 closed)

Blocked by Klever - Feature #10460: Get rid of unclear parentheses when representing Safes, Unsafes and UnknownsClosedVladimir Gratinskiy08/11/202008/26/2020

Actions
Blocked by Klever - Feature #8494: Process extended format of violation witnessesClosedEvgeny Novikov05/11/201707/02/2019

Actions
Blocked by Klever - Feature #8119: Develop preset tagsClosedEvgeny Novikov10/21/2020

Actions
Actions
Copy link

Also available in: Atom PDF