Tue, 12 Sep 2017 14:33:21 +0200 Walther Neuper work on TODOWN, partially
Tue, 12 Sep 2017 13:34:41 +0200 mmahringer FindBox now returns Option[Ast]
Tue, 12 Sep 2017 12:02:50 +0200 mmahringer AstInfoUtil.Parent now returns Option[Ast]
Tue, 12 Sep 2017 10:38:02 +0200 mmahringer merged
Tue, 12 Sep 2017 10:37:55 +0200 mmahringer merge
Tue, 12 Sep 2017 10:37:46 +0200 Walther Neuper merged
Tue, 12 Sep 2017 10:37:39 +0200 Walther Neuper remove a Warning
Tue, 12 Sep 2017 09:27:12 +0200 Walther Neuper more comments
Tue, 12 Sep 2017 10:13:45 +0200 mmahringer fix problem with setting a cursor
Tue, 12 Sep 2017 09:30:34 +0200 mmahringer add font "AR PL KaitiM Big5" as font for numbers
Thu, 07 Sep 2017 10:49:55 +0200 Walther Neuper one more comment
Thu, 07 Sep 2017 10:43:41 +0200 Walther Neuper comments and TODOWN
Thu, 07 Sep 2017 09:41:06 +0200 Walther Neuper end of end of manual merge
Thu, 07 Sep 2017 09:27:43 +0200 Walther Neuper end of manual merge
Thu, 07 Sep 2017 09:21:29 +0200 Walther Neuper restore broken merge from 3799cb07f123
Wed, 06 Sep 2017 13:45:58 +0200 Walther Neuper reformat package isac.gui.mawen.editor
Wed, 06 Sep 2017 13:15:47 +0200 mmahringer fire NotifyBraille on changeing the Box and Editing values
Wed, 06 Sep 2017 12:52:14 +0200 mmahringer merged
Wed, 06 Sep 2017 12:50:59 +0200 mmahringer merge
Wed, 06 Sep 2017 12:50:24 +0200 Walther Neuper add notifyBraille
Wed, 02 Aug 2017 18:04:23 +0200 Walther Neuper cleanup hack in Ast.math_string_of
Wed, 02 Aug 2017 11:51:30 +0200 Walther Neuper quick and dirty repair of Ast.math_string_of
Wed, 02 Aug 2017 10:56:36 +0200 mmahringer merged
Wed, 02 Aug 2017 10:56:24 +0200 mmahringer fix problem with to_str with BOX
Wed, 02 Aug 2017 09:56:12 +0200 Walther Neuper --- adapt BOX of syntax/ to version in editor/
Wed, 02 Aug 2017 09:11:13 +0200 Walther Neuper merged
Wed, 02 Aug 2017 09:09:02 +0200 Walther Neuper tuned
Wed, 02 Aug 2017 09:09:40 +0200 mmahringer add font and charactor in XSyntax
Thu, 06 Jul 2017 16:10:42 +0200 Walther Neuper merged
Thu, 06 Jul 2017 16:10:34 +0200 Walther Neuper hints for cleanup code
Thu, 06 Jul 2017 16:01:53 +0200 mmahringer merged
Thu, 06 Jul 2017 16:00:33 +0200 mmahringer remove warinings
Thu, 06 Jul 2017 15:36:25 +0200 Walther Neuper merged
Thu, 06 Jul 2017 15:36:11 +0200 Walther Neuper add usecase with coloured boxes
Thu, 06 Jul 2017 14:15:34 +0200 mmahringer delete -> Appl(Cursor, GAP) instead of GAP
Thu, 06 Jul 2017 11:51:36 +0200 mmahringer F2 to change Box to Cursor
Thu, 06 Jul 2017 10:56:54 +0200 mmahringer delete subterm of Cursor by key Delete
Thu, 06 Jul 2017 10:27:33 +0200 mmahringer delete numbers like variables
Thu, 06 Jul 2017 09:51:52 +0200 mmahringer tuned
Thu, 06 Jul 2017 09:49:13 +0200 mmahringer fix spacing problems with frac in frac
Tue, 04 Jul 2017 17:59:51 +0200 mmahringer editing operators and backspace
Tue, 04 Jul 2017 16:49:38 +0200 mmahringer tuned
Tue, 04 Jul 2017 16:47:36 +0200 mmahringer delete unnecessary files and add Formula bracket
Fri, 30 Jun 2017 18:09:22 +0200 mmahringer rework STD
Thu, 29 Jun 2017 15:46:56 +0200 Walther Neuper merged
Thu, 29 Jun 2017 15:46:02 +0200 Walther Neuper comments/questions from AstComponent..AstInfoUtil
Thu, 29 Jun 2017 15:45:00 +0200 mmahringer fix boxing problems with BinOp
Thu, 29 Jun 2017 14:06:23 +0200 Walther Neuper merged
Thu, 29 Jun 2017 14:06:13 +0200 Walther Neuper prepare syntax for absorbing details from editor, part.
Thu, 29 Jun 2017 14:03:43 +0200 Walther Neuper comments to editor classes
Thu, 29 Jun 2017 13:27:00 +0200 mmahringer fix zooming problems
Thu, 29 Jun 2017 09:41:02 +0200 mmahringer tuned
Wed, 28 Jun 2017 21:49:52 +0200 mmahringer CalcUtil: Change Parameters to Boxes, change Box to DrawBax, Box is now abstract
Wed, 28 Jun 2017 10:47:52 +0200 mmahringer merged
Wed, 28 Jun 2017 10:47:32 +0200 mmahringer move Listener from AstComponent to EventUtil
Wed, 28 Jun 2017 10:46:32 +0200 Walther Neuper trial with code brush up
Wed, 28 Jun 2017 08:49:48 +0200 mmahringer remove unused ActionListener in AstComponent
Wed, 28 Jun 2017 08:47:28 +0200 mmahringer fix
Wed, 28 Jun 2017 08:46:16 +0200 mmahringer change Util Name to CalcUtil
Wed, 28 Jun 2017 08:43:36 +0200 mmahringer Util: change parameter of function for paint