Thu, 17 Nov 2005 15:34:18 +0000 hegyi As initial value of a new map expression with ()+-/* operators can be given. These operators work on numbers, or on maps. If maps are given, then the new value for a given graph element will be calculated using the value from the given maps that belong to that graph element. gui
Fri, 04 Nov 2005 19:07:15 +0000 ladanyi improved zooming gui
Wed, 02 Nov 2005 12:44:50 +0000 klao small svn:ignore fixups gui