Wed, 06 Sep 2017 12:52:14 +0200 |
mmahringer |
merged
|
changeset |
files
|
Wed, 06 Sep 2017 12:50:59 +0200 |
mmahringer |
merge
|
changeset |
files
|
Wed, 06 Sep 2017 12:50:24 +0200 |
Walther Neuper |
add notifyBraille
|
changeset |
files
|
Wed, 02 Aug 2017 18:04:23 +0200 |
Walther Neuper |
cleanup hack in Ast.math_string_of
|
changeset |
files
|
Wed, 02 Aug 2017 11:51:30 +0200 |
Walther Neuper |
quick and dirty repair of Ast.math_string_of
|
changeset |
files
|
Wed, 02 Aug 2017 10:56:36 +0200 |
mmahringer |
merged
|
changeset |
files
|
Wed, 02 Aug 2017 10:56:24 +0200 |
mmahringer |
fix problem with to_str with BOX
|
changeset |
files
|
Wed, 02 Aug 2017 09:56:12 +0200 |
Walther Neuper |
--- adapt BOX of syntax/ to version in editor/
|
changeset |
files
|
Wed, 02 Aug 2017 09:11:13 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
Wed, 02 Aug 2017 09:09:02 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Wed, 02 Aug 2017 09:09:40 +0200 |
mmahringer |
add font and charactor in XSyntax
|
changeset |
files
|
Thu, 06 Jul 2017 16:10:42 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
Thu, 06 Jul 2017 16:10:34 +0200 |
Walther Neuper |
hints for cleanup code
|
changeset |
files
|
Thu, 06 Jul 2017 16:01:53 +0200 |
mmahringer |
merged
|
changeset |
files
|
Thu, 06 Jul 2017 16:00:33 +0200 |
mmahringer |
remove warinings
|
changeset |
files
|
Thu, 06 Jul 2017 15:36:25 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
Thu, 06 Jul 2017 15:36:11 +0200 |
Walther Neuper |
add usecase with coloured boxes
|
changeset |
files
|
Thu, 06 Jul 2017 14:15:34 +0200 |
mmahringer |
delete -> Appl(Cursor, GAP) instead of GAP
|
changeset |
files
|
Thu, 06 Jul 2017 11:51:36 +0200 |
mmahringer |
F2 to change Box to Cursor
|
changeset |
files
|
Thu, 06 Jul 2017 10:56:54 +0200 |
mmahringer |
delete subterm of Cursor by key Delete
|
changeset |
files
|
Thu, 06 Jul 2017 10:27:33 +0200 |
mmahringer |
delete numbers like variables
|
changeset |
files
|
Thu, 06 Jul 2017 09:51:52 +0200 |
mmahringer |
tuned
|
changeset |
files
|
Thu, 06 Jul 2017 09:49:13 +0200 |
mmahringer |
fix spacing problems with frac in frac
|
changeset |
files
|
Tue, 04 Jul 2017 17:59:51 +0200 |
mmahringer |
editing operators and backspace
|
changeset |
files
|
Tue, 04 Jul 2017 16:49:38 +0200 |
mmahringer |
tuned
|
changeset |
files
|
Tue, 04 Jul 2017 16:47:36 +0200 |
mmahringer |
delete unnecessary files and add Formula bracket
|
changeset |
files
|
Fri, 30 Jun 2017 18:09:22 +0200 |
mmahringer |
rework STD
|
changeset |
files
|
Thu, 29 Jun 2017 15:46:56 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
Thu, 29 Jun 2017 15:46:02 +0200 |
Walther Neuper |
comments/questions from AstComponent..AstInfoUtil
|
changeset |
files
|
Thu, 29 Jun 2017 15:45:00 +0200 |
mmahringer |
fix boxing problems with BinOp
|
changeset |
files
|
Thu, 29 Jun 2017 14:06:23 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
Thu, 29 Jun 2017 14:06:13 +0200 |
Walther Neuper |
prepare syntax for absorbing details from editor, part.
|
changeset |
files
|
Thu, 29 Jun 2017 14:03:43 +0200 |
Walther Neuper |
comments to editor classes
|
changeset |
files
|
Thu, 29 Jun 2017 13:27:00 +0200 |
mmahringer |
fix zooming problems
|
changeset |
files
|
Thu, 29 Jun 2017 09:41:02 +0200 |
mmahringer |
tuned
|
changeset |
files
|
Wed, 28 Jun 2017 21:49:52 +0200 |
mmahringer |
CalcUtil: Change Parameters to Boxes, change Box to DrawBax, Box is now abstract
|
changeset |
files
|
Wed, 28 Jun 2017 10:47:52 +0200 |
mmahringer |
merged
|
changeset |
files
|
Wed, 28 Jun 2017 10:47:32 +0200 |
mmahringer |
move Listener from AstComponent to EventUtil
|
changeset |
files
|
Wed, 28 Jun 2017 10:46:32 +0200 |
Walther Neuper |
trial with code brush up
|
changeset |
files
|
Wed, 28 Jun 2017 08:49:48 +0200 |
mmahringer |
remove unused ActionListener in AstComponent
|
changeset |
files
|
Wed, 28 Jun 2017 08:47:28 +0200 |
mmahringer |
fix
|
changeset |
files
|
Wed, 28 Jun 2017 08:46:16 +0200 |
mmahringer |
change Util Name to CalcUtil
|
changeset |
files
|
Wed, 28 Jun 2017 08:43:36 +0200 |
mmahringer |
Util: change parameter of function for paint
|
changeset |
files
|
Tue, 27 Jun 2017 16:50:30 +0200 |
mmahringer |
navigation of the cursor
|
changeset |
files
|
Tue, 27 Jun 2017 13:15:21 +0200 |
mmahringer |
remove FormulaTexField
|
changeset |
files
|
Tue, 27 Jun 2017 13:08:01 +0200 |
mmahringer |
merged
|
changeset |
files
|
Tue, 27 Jun 2017 13:07:47 +0200 |
mmahringer |
Listen from KeyInput to write formulas
|
changeset |
files
|
Tue, 27 Jun 2017 12:49:02 +0200 |
Walther Neuper |
treat Isabelle_isac.connect uniformly
|
changeset |
files
|
Tue, 27 Jun 2017 11:27:29 +0200 |
Walther Neuper |
get a sub-term of an ast via key
|
changeset |
files
|
Fri, 23 Jun 2017 09:56:34 +0200 |
Walther Neuper |
trial to call Isabelle_Isac.connect more efficiently
|
changeset |
files
|
Wed, 21 Jun 2017 14:42:08 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
Wed, 21 Jun 2017 14:41:55 +0200 |
Walther Neuper |
correct ast from "extend CURSOR"
|
changeset |
files
|
Wed, 21 Jun 2017 14:38:47 +0200 |
mmahringer |
merged
|
changeset |
files
|
Wed, 21 Jun 2017 14:38:37 +0200 |
mmahringer |
boxing Asts and navigation with arrows
|
changeset |
files
|
Wed, 21 Jun 2017 14:11:08 +0200 |
Walther Neuper |
extend CURSOR in asts according to input process
|
changeset |
files
|
Tue, 20 Jun 2017 08:25:12 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Tue, 20 Jun 2017 08:15:59 +0200 |
Walther Neuper |
mmahringer's TestUseCases all work
|
changeset |
files
|
Mon, 19 Jun 2017 09:10:51 +0200 |
Walther Neuper |
review Ast.math_string_of for tuple
|
changeset |
files
|
Sun, 18 Jun 2017 15:21:45 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Sun, 18 Jun 2017 15:20:25 +0200 |
Walther Neuper |
cleanup from previous changeset
|
changeset |
files
|