File: ChangeLog

package info (click to toggle)
prooftree 0.13-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid, stretch
  • size: 592 kB
  • ctags: 668
  • sloc: ml: 4,462; sh: 117; makefile: 111
file content (893 lines) | stat: -rw-r--r-- 22,113 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
2017-01-03  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2017-01-02  Hendrik Tews  <hendrik@askra.de>

	* compile with -safe-string

2017-01-02  Hendrik Tews  <hendrik@askra.de>

	* update doc

2016-12-28  Hendrik Tews  <hendrik@askra.de>

	* gitignore and some debugging code in comments

2016-01-23  Hendrik Tews  <Hendrik.Tews@FireEye.com>

	* update copyright

2016-01-22  Hendrik Tews  <Hendrik.Tews@FireEye.com>

	* add tests for cycle/swap/revgoals, Grab Existentials/Unshelve, giveup

2016-01-21  Hendrik Tews  <Hendrik.Tews@FireEye.com>

	* update evar parsing for 8.5

2016-01-18  Hendrik Tews  <Hendrik.Tews@FireEye.com>

	* disable implicit optional argument elimination warning 48

2016-01-18  Hendrik Tews  <Hendrik.Tews@FireEye.com>

	* fix deprecated or

2016-01-17  Hendrik Tews  <Hendrik.Tews@FireEye.com>

	* fix 4.02 compilation problem

2016-01-16  Hendrik Tews  <Hendrik.Tews@FireEye.com>

	* crash fix ??

2013-08-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* rename delete_non_sticky_node_window

2013-08-10  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* let the cancel button reset the configuration

2013-08-10  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* display a warning for config file version errors

2013-08-10  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* catch input log file opening errors

2013-08-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* close old PG log file, before changing it

2013-08-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* update doc

2013-08-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* config window without apply

2013-08-05  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* use stock items for most buttons

2013-08-04  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* describe prooftree notification messages and other doc fixes

2013-08-03  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* show selected menu entry

2013-08-03  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* update INSTALL, README; add compatibility file

2013-08-03  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* update man page

2013-08-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* quit prooftree when closing -config or -help-dialog windows
	* update help window text

2013-08-01  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* add history list in external sequent windows

2013-07-23  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix wrong existential info in external node windows

2013-07-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix title of orphaned node windows
	* don't update content of sticky node windows

2013-05-17  Hendrik Tews <prooftree@askra.de>

	* release version 0.12 on 2013-05-17 13:39:12 UTC

2013-05-17  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2013-05-17  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2013-03-28  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* copyright 2013

2013-03-27  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* change required Proof General version to 4.3pre130327

2013-03-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* another clone regression

2013-01-30  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix clone regression

2013-01-30  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* after release changes

2013-01-21  Hendrik Tews <prooftree@askra.de>

	* release version 0.11 on 2013-01-21 16:43:11 UTC

2013-01-21  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2013-01-21  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* misc changes towards release

2013-01-21  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* implement proof script insertion

2013-01-20  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* implement undo
	* have a separate context menu
	* add headings in help window

2013-01-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* add scrollbar to evar table
	* add keybindings to evar window
	* add default number of lines of evar window to config
	  record, but stay at config file version 04

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix embarrassing evar positioning bug

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* try ocamlfind in configure for lablgtk2
	* fix ocamldoc warnings

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* write ocamldoc comments

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* delete newlines in short proof commands

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* center layers

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* warning for more than one initial goal

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* integrate new config values in configuration dialog

2013-01-17  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* support Grab Existential Variables
	* display several layers with several proof trees each
	* protocol change, but stay at version 3
	* new config file version 04

2013-01-15  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* differentiate proof complete message according to
	  extistential status

2013-01-15  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* doc fixes

2013-01-14  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix paragraphs in help window

2013-01-14  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* support for bullets and braces
	* protocol change to version 3
	  - change proof-finished into branch-finished and adapt
	    its meaning
	* introduce proof-tree states without current sequent and
	  permit navigation commands without current sequent

2013-01-03  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix surviver reuse bug introduced yesterday

2013-01-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* improve positioning: make parents and new siblings visible

2013-01-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix assertion when undo states are incorrect because of
	  insertions

2012-09-12  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* die with a sensible message in case Proof is missing
	* polish man page and add limitations section

2012-08-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix clone deletes primary window problem

2012-07-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix an embarrassing control flow bug in input.ml

2012-05-14  Hendrik Tews <prooftree@askra.de>

	* release version 0.10 on 2012-05-14 21:11:13 UTC

2012-05-14  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2012-05-14  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* more debian packaging fixes

2012-05-14  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* prepare release
	* adjust debian stuff

2012-05-14  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* use odoc_xref tags for doc links into other libraries

2012-03-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix assertion in callback

2012-03-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* internal documentation complete

2012-03-07  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* lots of internal documentation

2012-03-06  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* ignore overridden methods warning as long as we support 3.11
	* check-doc makefile goal
	* add minimal support for HOL Light
	* add and fix some doc comments

2012-01-29  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* unescaped string end-of-line warning

2012-01-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* structured copyright
	* doc-base entry

2012-01-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* try watch again

2012-01-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* try watch again

2012-01-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* try out-of-date-standards-version

2012-01-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* try lintian possible-documentation,
	  Debian-watch-file-is-missing,
	  out-of-date-standards-version

2012-01-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* prepare debian/changelog for next release

2012-01-04  Hendrik Tews <prooftree@askra.de>

	* release version 0.9 on 2012-01-04 20:39:05 UTC

2012-01-04  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2012-01-04  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix debian/changelog

2012-01-04  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix case where some existential is instantiated with
	  the last proof command
	* protocol change to version 2
	  - rename proof-complete into proof-finished and add
	    existential info
	  - add proof-complete message

2012-01-03  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* release version 0.8 on 2012-01-03 10:11:10 UTC

2012-01-03  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2012-01-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* separate INSTALL
	* make-release update

2012-01-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* update README, changes, man page

2012-01-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* clean up copyright
	* packaging in make-release

2012-01-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* DESTDIR
	* copyright 2012
	* add make-release
	* add debian subdir

2012-01-02  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* protocol change: configure message required as first
	  message
	* set protocol version to 1
	* simplify Elisp communication primitives

2012-01-01  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* delete proof-full-annotation-internal (as Dave wished) (elisp only)
	* fix strange start problem

2011-12-31  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* protocol change: first fixed length line tells length
	  of second line with command

2011-12-25  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* put coq specific code into coq.ml

2011-12-21  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* new option -help-dialog
	* update builtin help man page

2011-12-21  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* handle display quit and prooftree process termination

2011-12-20  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* delete other_open_goals field from internal state

2011-12-20  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix quit problem (which makes another quit problem more
	  obvious)
	* improve evar printing

2011-12-19  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* elisp only:
	  - proof-tree-configured for protecting menu and entry
	    function
	  - send undo when leaving buffer
	  - fix proof-tree start without a proof shell

	  - simplify/clear unused code
	  - fix initialization problem

	  - put update-goal into callback
	  - don't use numbers as flags any more

	  - clear state when proof is finished/quit
	  - fix bug introduced earlier today

	  - use Show Goal, flush coq-sequent-id-assoc
	  - prooftree updates now inaccessible sequents!

	  - improve starting prooftree in the middle of a proof
	  - assert-until-point no longer called inside the
	    process filter

	  - improve error handling when prooftree cannot be found

2011-12-16  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* some elisp-only changes
	  - call delayed proof-tree handler only conditionally
	  - simplify proof-tree-current-proof, flush its undo history
	  - new prover option proof-tree-find-begin-of-unfinished-proof for
	    finding the starting point of a theorem
	  - specify proof-tree-get-proof-info as function without arguments
	  - flush unused cmd argument from proof-tree-urgent-action

2011-12-09  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* set proof-tree background to GTK prelight default
	* adjust default colors

2011-12-09  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* put detailed existential status into the existential
	  record, which is updated lazily before every redraw
	* proof tree uses color for partial instantiation

2011-12-09  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* using column in evar window
	* new color for partially instantiated evar's
	* new config file version 03
	* use colors in evar window
	* update configuration in evar window

2011-12-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix -w Ae warnings
	* use an existential hash in the proof-tree record and
	  link dependencies for instantiated existentials

2011-12-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* more documentation
	* move to coq trunk
	  - protocol change: current-goals gets the complete evar
	    info as string, which is parsed inside prooftree
	  - added coq specific evar info parser
	* new option -config

2011-12-06  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* abandon coq patches, work with coq trunk now (elisp only)
	  Many thanks to Arnaud Spiwack for his dependent evar patch!

	* use match-string-no-properties instead of
	  buffer-substring-no-properties (elisp only)

2011-11-01  Hendrik Tews <prooftree@askra.de>

	* release version 0.7 on 2011-11-01 13:23:57 UTC

2011-11-01  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-11-01  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* notebook for configuration

2011-11-01  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* help text / man page for existential dialog

2011-11-01  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix state-number simplification from 2011-09-27

2011-11-01  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix clone existentials bug

2011-10-28  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* existential variable window/dialog
	* fix rounding bug with width and subtree_width

2011-10-24  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* some more doc strings

2011-10-22  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* use a different color for proved branches with
	  non-instantiated existential variables
	* some more doc strings

2011-10-20  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* manage uninstantiated existential variables
	* change coq patch to print the uninstantiated existentials
	* change communication protocol to send the list of open
	  existentials to prooftree
	* change Proof General to extract and send uninstantiated
	  existentials
	* proof-tree nodes have now a list of existential
	  variables, which is changed in place, when they get
	  instantiated
	* change sequent and proof-command displays to list open
	  existentials
	* update these displays as necessary

2011-10-07  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix full-annotation problem (elisp only)

2011-10-04  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* move recent-changes marker in sync with website

2011-10-04  Hendrik Tews <prooftree@askra.de>

	* release version 0.6 on 2011-10-04 10:26:05 UTC

2011-10-04  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* make-bundle fix

2011-10-04  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-09-27  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* simplify state numbers

2011-09-23  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix bug of not properly deleted proof tree windows and
	  structures

2011-09-15  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix a current node position bug
	* some more doc strings

2011-08-12  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix to delete external node windows when retracting
	* improve handling of orphaned node windows

2011-08-11  Hendrik Tews <prooftree@askra.de>

	* release version 0.5 on 2011-08-11 13:53:56 UTC

2011-08-11  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-08-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* small fix

2011-08-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* changes towards release

2011-08-11  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* man page

2011-08-10  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* treat common config file errors

2011-08-10  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* sequent tooltips and more tool tip config

2011-08-10  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* change default colors
	* show current menu item
	* improve help

2011-08-10  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* improve makefile and configure

2011-08-06  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* tooltips with complete proof command

2011-08-04  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* external node window height configurable

2011-08-04  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* initial size of sequent window configurable

2011-08-01  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* improve save button

2011-08-01  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* save/restore buttons in configuration dialog

2011-07-31  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* change colors in configuration record into RGB triplets

2011-07-30  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* apply and ok in configuration window

2011-07-29  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* honor default size in configuration record

2011-07-29  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* honor tooltips in configuration record

2011-07-29  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* honor colors in configuration record

2011-07-28  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* honor fonts in configuration record

2011-07-28  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* configuration dialog layout finished, no effects yet

2011-07-23  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* help and exit menu items

2011-07-21  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* add menu with about dialog

2011-07-20  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix different line length problem

2011-07-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* invert dragging direction

2011-07-13  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* move proof tree by dragging with mouse 1

2011-07-12  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* internal documentation of main, input

2011-07-10  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* display external node windows on double click or shift
	  click

2011-07-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* improve current node positioning

2011-07-06  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix resize behaviour of node windows
	* add message label with some status information

2011-06-14  Hendrik Tews <prooftree@askra.de>

	* release version 0.4 on 2011-06-14 11:26:01 UTC

2011-06-14  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-06-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* another release fix

2011-06-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* small release fix

2011-06-08  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-06-08  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* update coq version number in README's

2011-05-30  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* color cheated commands/branches in red

2011-05-30  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* clone button

2011-05-28  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* update existentials in external windows

2011-05-27  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* external node windows on mouse button 2
	* window titles

2011-05-26  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* prooftree toolbar and menu entry (emacs lisp only)

2011-05-26  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* start prooftree in the middle of a proof (just
	  emacs-lisp changes)
	* kill proof tree window from emacs
	* let windows survive bulk undo's and change their state accordingly

2011-05-12  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* clear sequent window when undoing the selected proof command

2011-04-21  Hendrik Tews <prooftree@askra.de>

	* release version 0.3 on 2011-04-21 14:43:35 UTC

2011-04-21  Hendrik Tews <prooftree@askra.de>

	* make-bundle fix

2011-04-21  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-04-21  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* new protocol command switch-to
	* Coq's Focus/Unfocus work

2011-04-20  Hendrik Tews <prooftree@askra.de>

	* release version 0.2 on 2011-04-20 20:36:37 UTC

2011-04-20  Hendrik Tews <prooftree@askra.de>

	* another make-bundle fix

2011-04-20  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-04-20  Hendrik Tews <prooftree@askra.de>

	* make-bundle fix

2011-04-20  Hendrik Tews <prooftree@askra.de>

	* prepare changes.html for release

2011-04-20  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* existential variables are now updated (which required
	  only Emacs lisp changes)
	* fix a number of cases when the sequent window showed
	  invalid or non-existing sequent text

2011-04-18  Hendrik Tews <prooftree@askra.de>

	* release version 0.1

2011-04-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* undo release
	* makefile fix

2011-04-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* minor

2011-04-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* make-bundle changes

2011-04-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* small improvements

2011-04-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* various README's, make-bundle

2011-04-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* GPL 3

2011-04-18  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* configure

2011-04-15  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix bug with new subgoals and their order

2011-04-15  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* scroll sequent window to bottom

2011-04-15  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* redesign communication protocol (send complete states
	  now)
	* fix idle proof command problem

2011-04-13  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* privatized non-public methods
	* some module interface restrictions

2011-04-13  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* license

2011-04-13  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* truncate long proof commands

2011-04-12  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* fix undo for unaffected proofs

2011-04-12  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* states and proper undo
	* proper proof finish

2011-04-06  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* mouse button 1
	* current/selected node drawing
	* use of sequent window

2011-04-05  Hendrik Tews  <tews@os.inf.tu-dresden.de>

	* parsing input, first version of communication protocol
	* reposition to current node
	* colors