forked from hendriktews/proof-tree
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathChangeLog
897 lines (505 loc) · 21.7 KB
/
ChangeLog
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
894
895
2017-01-03 Hendrik Tews <prooftree@askra.de>
* release version 0.13 on 2017-01-03 10:38:09 UTC
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