General Options

Replace Logical Symbols

Options active for modelexpand/minimize buttons

CP Support

Stable semantics

Number of models

Grounding Verbosity

Solving Verbosity

Shortcuts while editing

Ctrl-Space

Autocomplete

Ctrl-Enter

Run

Ctrl-R

Run

Ctrl-E

Export current file for sharing

Ctrl-Q

Fold the code at the current cursor location

Ctrl-D

Remove the current line

Ctrl-Shift-F

Reindent document

Alt-C

Toggle logical symbol replacements

IDP Syntax

&

∧

|

∨

~

¬

~=

≠

!

∀

?

∃

>=

≥

=<

≤

<=

⇐

=>

⇒

<=>

⇔

->

↦

//

Singleline comments

/* */

Multiline comments

IDP Manual

http://dtai.cs.kuleuven.be/krr/files/bib/manuals/idp3-manual.pdf

Issue pages

For the IDE: http://bitbucket.org/krr/idp-webid/issues/
For IDP : http://bitbucket.org/krr/idp/issues/