From d15954cc4756d7ae630f36d5b72f9fbbd864b681 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 14 Oct 2010 11:54:54 -0400 Subject: Documenting limits --- CHANGELOG | 2 ++ 1 file changed, 2 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index 943d7dff..eead0a5e 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -6,8 +6,10 @@ Next - New 'onError' directive for .urp files - (* *) and comments in XML - Basis.classes, Basis.confirm, and Basis.tryDml +- New notations ::_ and :::_, for constructor parameters of unknown kind - Invocations like 'urweb foo' will compile foo.ur as a single-file project, even if no foo.urp exists +- '-limit' command-line flag and 'limit' .urp directive - Bug fixes and optimization improvements ======== -- cgit v1.2.3