Skip to content
GitLab
Explore
Sign in
i7
dtControl
Merge requests
!43
Updated user and developer manual
Code
Review changes
Check out branch
Download
Patches
Plain diff
Christoph Weinhuber
requested to merge
update/docs-v3
into
master
Feb 20, 2021
Overview
0
Commits
24
Pipelines
1
Changes
18
Expand
Added chapters on:
Priority strategies
Web-based GUI
Semi-automatic cli
Algebraic user-defined predicates
Predicate Parser
Richer Domain Split etc
Merge request reports