Mercurial Mercurial > wneuper > isac / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | gz | help
(0) -3000 -1000 -300 -100 -60 tip
 
Wed, 14 Apr 2021 07:53:55 +0200 Walther Neuper investigate ERROR can not create registry: Port already in use: 1097 default tip changeset | files
Fri, 26 Mar 2021 10:45:05 +0100 Walther Neuper reset mathematics-engine to Isabelle2015 changeset | files
Tue, 22 Sep 2020 14:33:32 +0200 Walther Neuper pdflatex on old theses changeset | files
Wed, 19 Dec 2018 13:19:34 +0100 Walther Neuper tuned changeset | files
Wed, 19 Dec 2018 12:51:51 +0100 Walther Neuper ------ connection to new math-engine on Isabelle2018: question 4 to Lars changeset | files
Tue, 18 Dec 2018 08:05:43 +0100 Walther Neuper ------ connection to new math-engine on Isabelle2018: question 3 to Lars changeset | files
Mon, 17 Dec 2018 13:02:16 +0100 Walther Neuper tuned changeset | files
Mon, 17 Dec 2018 12:58:12 +0100 Walther Neuper ------ connection to new math-engine on Isabelle2018: question 2 to Lars changeset | files
Wed, 28 Nov 2018 08:59:29 +0100 Walther Neuper update Scala 2.10 to 2.12.3 changeset | files
Thu, 13 Sep 2018 11:14:30 +0200 Walther Neuper ------ connection to new math-engine on Isabelle2018: question to Lars changeset | files
Wed, 12 Sep 2018 17:07:47 +0200 Walther Neuper ------ connection to new math-engine on Isabelle2018: drop outdated test changeset | files
Wed, 12 Sep 2018 16:24:42 +0200 Walther Neuper hg commit -m "------ connection to new math-engine on Isabelle2018 partially changeset | files
Wed, 04 Apr 2018 12:08:01 +0200 Walther Neuper note on demo of insertion sort changeset | files
Tue, 13 Feb 2018 09:42:07 +0100 Walther Neuper FINISH MAWEN: relate code and thesis changeset | files
Tue, 21 Nov 2017 14:10:53 +0100 Walther Neuper merged changeset | files
Tue, 21 Nov 2017 14:10:45 +0100 Walther Neuper relate code to thesis mmahringer.pdf changeset | files
Tue, 21 Nov 2017 14:09:54 +0100 mmahringer remove useless console prints changeset | files
Tue, 21 Nov 2017 11:53:30 +0100 mmahringer complete demo \label{UC:user-guide} changeset | files
Tue, 21 Nov 2017 08:46:34 +0100 mmahringer Rename Testcode for demo changeset | files
Tue, 21 Nov 2017 08:42:47 +0100 mmahringer prep Testcode for demo \label{UC:user-guide} changeset | files
Fri, 27 Oct 2017 17:58:43 +0200 Walther Neuper add editor properties to templates changeset | files
Thu, 05 Oct 2017 14:59:23 +0200 Walther Neuper add usage for editor changeset | files
Thu, 05 Oct 2017 09:14:22 +0200 mmahringer remove isa-string from BoxUtil changeset | files
Mon, 18 Sep 2017 19:50:34 +0200 mmahringer fix problems with fractions changeset | files
Tue, 12 Sep 2017 15:39:03 +0200 Walther Neuper TODOWN finished changeset | files
Tue, 12 Sep 2017 14:46:07 +0200 Walther Neuper work on TODOWN, partially changeset | files
Tue, 12 Sep 2017 14:33:21 +0200 Walther Neuper work on TODOWN, partially changeset | files
Tue, 12 Sep 2017 13:34:41 +0200 mmahringer FindBox now returns Option[Ast] changeset | files
Tue, 12 Sep 2017 12:02:50 +0200 mmahringer AstInfoUtil.Parent now returns Option[Ast] changeset | files
Tue, 12 Sep 2017 10:38:02 +0200 mmahringer merged changeset | files
Tue, 12 Sep 2017 10:37:55 +0200 mmahringer merge changeset | files
Tue, 12 Sep 2017 10:37:46 +0200 Walther Neuper merged changeset | files
Tue, 12 Sep 2017 10:37:39 +0200 Walther Neuper remove a Warning changeset | files
Tue, 12 Sep 2017 09:27:12 +0200 Walther Neuper more comments changeset | files
Tue, 12 Sep 2017 10:13:45 +0200 mmahringer fix problem with setting a cursor changeset | files
Tue, 12 Sep 2017 09:30:34 +0200 mmahringer add font "AR PL KaitiM Big5" as font for numbers changeset | files
Thu, 07 Sep 2017 10:49:55 +0200 Walther Neuper one more comment changeset | files
Thu, 07 Sep 2017 10:43:41 +0200 Walther Neuper comments and TODOWN changeset | files
Thu, 07 Sep 2017 09:41:06 +0200 Walther Neuper end of end of manual merge changeset | files
Thu, 07 Sep 2017 09:27:43 +0200 Walther Neuper end of manual merge changeset | files
Thu, 07 Sep 2017 09:21:29 +0200 Walther Neuper restore broken merge from 3799cb07f123 changeset | files
Wed, 06 Sep 2017 13:45:58 +0200 Walther Neuper reformat package isac.gui.mawen.editor changeset | files
Wed, 06 Sep 2017 13:15:47 +0200 mmahringer fire NotifyBraille on changeing the Box and Editing values changeset | files
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
(0) -3000 -1000 -300 -100 -60 tip
wneuper/isac