diff --git a/minizinc.iro b/minizinc.iro index 90a544b..2ec4ee5 100644 --- a/minizinc.iro +++ b/minizinc.iro @@ -1,27 +1,13 @@ ################################################################# -## Iro +## MiniZinc ################################################################ ## -## * Press Ctrl + '+'/'-' To Zoom in -## * Press Ctrl + S to save and recalculate... -## * Documents are saved to web storage. -## * Only one save slot supported. -## * Matches cannot span lines. -## * Unicode chars must be defined in \u0000 to \uffff format. -## * All matches must be contained by a single group ( ... ) -## * Look behinds not permitted, (?<= or (?