forked from garberlog/ARIS
-
Notifications
You must be signed in to change notification settings - Fork 2
/
ChangeLog
2825 lines (1874 loc) · 82.8 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
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
2014-03-06 Ian Dunn <[email protected]>
* aris-proof.c (aris_proof_remove_sentence): Correctly
accounts for the removal of fin_prem.
* sentence.c (select_reference): Doesn't allow subproofs to
select references.
* sen-data.c (sen_data_can_select_as_ref): Uses the actual
sentence data objects.
* sexpr-process-quant.c (proc_nq): Fixed up to allow for a
scope of a single atomic sentence.
* sexpr-process.c (sexpr_str_car_cdr): Modified to allow for
a cdr with a single atomic sentence.
* process.c (get_quant_var): Gets a quantifier variable.
(check_quants): Implements get_quant_var to check the
quantifier variables.
* typedef.h (CHECK_ALLOC): Enclosed object in parentheses.
* sentence.c (sentence_text_changed): Don't add any undo
information for goals.
* sexpr-process-equiv.c (proc_ep): Fixed processing bug.
* aio.c (aio_save): Version line only writes two digits.
* Makefile.am: Fixed up linker flags, and cleaned up.
2014-03-02 Ian Dunn <[email protected]>
* configure.ac: Moved configure check for pkg-config to just
before actual package checks.
* sexpr-process-equiv.c: Added defines for recurse_mode modes.
(recurse_mode): Implemented mode definitions.
(proc_id): Same.
(proc_co): Same.
* sexpr-process.c (sexpr_get_generalities): Clear out vector after finding
invalid connective.
(sexpr_car): Removed.
(sexpr_cdr): Removed.
(sexpr_car_cdr): Added comments.
(sexpr_str_car_cdr): Same.
(construct_other): Same.
* process.h (IS_SBIN_CONN): Checks whether a string is a
binary sexpr connective.
* vec.c (vec_str_clear): Added.
2014-03-01 Ian Dunn <[email protected]>
* aio.h (VER_TAG): Added for versioning files.
(FILE_VER): Set to 1.0.
* aio.c (aio_save): Added version number to file format.
(aio_open): Same.
* conf-file.h (main_menu_conf): Changed export label to
'Export to LaTeX...'.
* sentence.c (sentence_init): Added rules box identifier for
subproofs.
* aris-proof.c (aris_proof_post_init): Replaced the separator.
(aris_proof_create_sentence): Ignores new_order parameter of
sen_parent_ins_sentence.
(aris_proof_init_from_proof): Replaced the separator.
(aris_proof_end_sub): Prevents a subproof from being cut in
half.
(aris_proof_to_latex): Checks for a valid filename before
exporting.
* sen-parent.c (sen_parent_ins_sentence): Accounts for the
separator in proofs.
2014-02-28 Ian Dunn <[email protected]>
* pound.h (INIT_FONT): Changed font type to
'DejaVu Sans Mono'.
* vec.c: Implemented error codes.
* undo.h (undo_sen): Removed.
(UNDO_OP): Removed.
(UNDO_INFO_TYPE): Removed UIT_ADD_GOAL and UIT_REM_GOAL.
* undo.c (undo_determine_op): Added comments.
(undo_op_remove): Same.
(undo_op_add): Same.
(undo_op_mod): Same.
* sen-parent.c (sen_parent_rem_sentence): Removed unneeded
comments.
Replaced call to gtk_grid_remove_row.
Removed it again, might replace it when 3.10 hits mainstream.
(sen_parent_ins_sentence): Uses the top-attach of the focused
sentence.
* sexpr-process.c: Implemented error codes.
* sexpr-process-quant.c: Implemented error codes.
* sexpr-process-infer.c: Implemented error codes.
* sexpr-process-equiv.c: Implemented error codes.
* sexpr-process-bool.c: Implemented error codes.
* rules-table.c (rules_table_set_lm): Implemented error codes.
* proof.c: Implemented error codes.
* menu.c (construct_menu_item): Cleaned up code.
* goal.c (goal_check_line): Changed die_spaces_die to
format_string.
(goal_add_line): Removed UIT_ADD_GOAL undo_info item.
(goal_rem_line): Removed UIT_REM_GOAL undo_info item.
* conf-file.c (config_default): Commented.
* callbacks.c: Changed ERROR_CODE_MEMORY to AEC_MEM.
Fixed up comments and implemented error codes.
* process.c: Changed ERROR_CODE_MEMORY to AEC_MEM.
Added comments and implemented error codes.
(get_generalities): Changed memory error return code to -1.
* sexpr-process-quant.c: Changed ERROR_CODE_MEMORY to AEC_MEM.
* sexpr-process-bool.c: Changed ERROR_CODE_MEMORY to AEC_MEM.
* sexpr-process.c: Changed ERROR_CODE_MEMORY to AEC_MEM.
* sexpr-process-equiv.c: Changed ERROR_CODE_MEMORY to AEC_MEM.
* sentence.c: Changed ERROR_CODE_MEMORY to AEC_MEM.
Implemented error codes.
(comment_pred): Removed.
(sentence_init): Added rules labels for premises and goals.
(sentence_gui_init): Changed comment color to foreground
instead of background.
Removed it completely.
(sentence_text_changed): Removed special handling of comments.
(sentence_paste_text): Does not convert comment text.
* aris-proof.c: Changed ERROR_CODE_MEMORY to AEC_MEM.
Fixed up comments and implemented error codes.
(aris_proof_post_init): Doesn't attach separator.
(aris_proof_init_from_proof): Same.
(aris_proof_undo): Removed check for UIT_REM_GOAL and UIT_ADD_GOAL.
* app.c: Changed ERROR_CODE_MEMORY to AEC_MEM.
(the_app_submit): Implemented AEC_IO.
(ftp_get_response): Same.
(ftp_send): Same.
* typedef.h (ARIS_ERROR_CODES): Changed ERROR_CODE_MEMORY to
AEC_MEM.
Added AEC_IO.
* aio.c: Added function comments.
Changed ERROR_CODE_MEMORY to AEC_MEM.
* sen-data.c (sen_data_evaluate): Correctly handles an invalid
proof file.
Implemented error codes across entire file.
2014-02-27 Ian Dunn <[email protected]>
* all: Updated copyright notice.
* configure.ac: Updated version number to 2.2.
* callbacks.c (menu_activated): Added LaTeX export
functionality.
* aris-proof.c (aris_proof_copy): Destroys sel_list after
finished.
(aris_proof_to_latex): Created to convert an Aris Proof to
LaTeX.
* sexpr-process-misc (proc_in): Correctly handles the error of
no preceding universal quantifier.
* app.c (init_app): Set colors and fonts to NULL.
(the_app_get_color_by_type): Checks through configuration
objects.
(the_app_get_color_by_index): Same.
(the_app_get_font_by_name): Same.
(the_app_read_config_file): Fixed up.
* conf-file.h (conf_obj_types): Fixed ordering.
(display_conf): Changed default conclusion and reference
color.
* conf-file.c (conf_file_read): Fixed reading in of
configuration files.
Fixed reading of grade data.
(conf_grade_value): Fixed writing of grade data.
* goal.c (goal_check_line): Implements format_string.
* aris.c (parse_args): Implements format_string.
* aio.c: Cleaned up code.
* sexpr-process-quant.c: Checks for ERROR_CODE_MEMORY after
parse_parens.
* sexpr-process-equiv.c: Checks for ERROR_CODE_MEMORY after
parse_parens.
* sexpr-process-bool.c: Checks for ERROR_CODE_MEMORY after
parse_parens.
* sexpr-process.c: Checks for ERROR_CODE_MEMORY after
parse_parens.
* typedef.h: Added error code enumeration.
* sen-data.c (sen_convert_sexpr): Implements format_string.
(sen_data_evaluate): Implements format_string.
(convert_sd_latex): Doesn't check text.
* process.c (remove_comment): Added to strip comments from a
string.
(format_string): Calls remove_comment and die_spaces_die.
(parse_parens): Calls parse_tags.
(reverse_parse_parens): Returns -1 on memory error.
(check_text): No longer handles spaces.
* sentence.c (sentence_key): Fixed up iterator problem.
(sentence_text_changed): Added support for comments.
(sentence_gui_init): Initializes comment hi-lighting.
(sentence_copy_text): Copies over comments as well.
2014-02-26 Ian Dunn <[email protected]>
* vec.c: Cleaned up code.
* sexpr-process-misc.c: Cleaned up code.
* sexpr-process-infer.c: Cleaned up code.
* sexpr-process-equiv.c: Cleaned up code.
* sexpr-process.c: Cleaned up code.
* sentence.c: Cleaned up code.
(sentence_key): Set to ignore single control key.
* rules-table.c: Cleaned up code.
* proof.c: Cleaned up code.
* process.c: Cleaned up code.
* process-main.c: Cleaned up code.
* menu.c: Cleaned up code.
* conf-file.c: Cleaned up code.
* callbacks.c: Cleaned up code.
* app.c: Cleaned up code.
* aio.c: Cleaned up code.
* sen-parent.c (sen_parent_rem_sentence): Removed call to
gtk_grid_remove_row.
* undo.h: Added, and moved in undo_info functions.
* undo.c (undo_info_init): Moved here.
(undo_info_init_one): Same.
(undo_info_destroy): Same.
(undo_determine_op): Determines the necessary operation
for undo/redo.
(undo_op_remove): Undoes an operation by removing a sentence.
(undo_op_add): Undoes an operation by adding a sentence.
(undo_op_mod): Undoes a modification operation.
* aris-proof.c (aris_proof_yank): Uses actual insertion data
rather than copied data for undo information.
(aris_proof_undo): Modified to implement undo_determine_op.
2014-02-25 Ian Dunn <[email protected]>
* sentence.c (sentence_set_selected): Fixed up selecting a
sentence and its parent.
2014-02-08 Ian Dunn <[email protected]>
* aris.c (main): Freed up unused file names.
* aris-proof.c (aris_proof_copy): Fixed up copying of
subproofs.
* callbacks.c: Fixed up indenting.
2013-12-14 Ian Dunn <[email protected]>
* aris-proof.c (aris_proof_set_filename): Copies the new
filename into the cur_file member.
2013-12-11 Ian Dunn <[email protected]>
* conf-file.h: Added LaTeX export option to proofs.
* list.h (ls_empty): Checks whether or not a list is empty.
* aris-proof.h (aris_proof_clear_selected): Clears selected
list.
(aris_proof_select_sentence): Adds a sentence to the list of
selected sentences.
(aris_proof_deselect_sentence): Removes a sentence from the
list of selected sentences.
* sentence.c; Implemented REF_END.
(select_sentence): Implemented aris_proof_select_sentence.
No longer selects entire subproof.
(sentence_key): Clears the parent's list of selected
sentences.
* sen-data.c: Implemented REF_END.
* proof.c: Implemented REF_END.
* aio.c: Implemented REF_END.
* aris-proof.c: Implemented REF_END.
(aris_proof_copy): Fixed up and accounts for subproofs.
(aris_proof_kill): Uses ap->yanked for kill list.
(aris_proof_yank): Correctly reconstructs subproofs.
* sen-data.h: Added REF_END constant.
Changed REF_END to zero.
* callbacks.c (gui_save): Adds .tle to file name if not
present.
2013-12-10 Ian Dunn <[email protected]>
* callbacks.c (evaluate_line): Refreshes the sentence's
references before evaluation.
2013-12-09 Ian Dunn <[email protected]>
* vec.c: Fixed up formatting.
* rules.h: Changed mouse over text for free and bound variable
substitution.
* app.c (app_set_color): Added to update the colors of the
app.
* conf-file.c (conf_file_read): Calls app_set_color when a
color has been read.
* process.h (ISGOOD): Handles nil object.
* sexpr-process-equiv.c (recurse_mode): Fixed up handling
of idempotence.
* sexpr-process.c (sexpr_get_generalities): Handles
quantifiers correctly.
* sen-parent.c (sen_parent_set_font): Fixed up formatting.
(sen_parent_children_set_bg_color): Added to set the colors
of a sentence parent and its children.
* nil-conn.xpm: Fixed up nil object.
* elm-conn.xpm: Fixed up element of predicate.
* sentence.c (sentence_resize_text): Removed unused argument.
(sentence_set_bg_color): Added to automatically set correct
colors.
* aris-proof.c: Fixed up formatting.
* proof.c (convert_proof_latex): Changed argument to take
filename instead of file object.
(convert_proof_latex): Changed some formatting aspects.
* sen-data.c (convert_sd_latex): Moved to here.
* aris.c (convert_sd_latex): Moved to sen-data.c.
(convert_proof_latex): Moved to proof.c.
2013-12-06 Ian Dunn <[email protected]>
* sexpr-process-misc.c (proc_in): Fixed up return check.
2013-12-05 Ian Dunn <[email protected]>
* pound.h (IS_DARK): Added to determine whether a color
is dark or not.
* callbacks.c (evaluate_line): Inserts sentences into lines
even if they do not convert correctly.
* proof.c (proof_destroy): Fixed up list destruction.
* sen-data.c (sen_data_evaluate): Cleaned up some comments.
* sentence.c (sentence_add_ref): Implements refresh_refs.
(sentence_rem_ref): Same.
(sentence_copy_to_data): Same.
(sentence_set_bg): Sets the font color to light or dark
depending on the background.
* sentence.h (sentence_refresh_refs): Added to update refs
member from references.
2013-12-01 Ian Dunn <[email protected]>
* sen-parent.c (sen_parent_rem_sentence): Changed
sentence_get_line_no to sentence_get_grid_no.
2013-11-22 Ian Dunn <[email protected]>
* aio.c (aio_write_line_num): Writes the line number member
to a file.
(aio_write_text): Writes the text member to a file.
(aio_write_rule): Writes the rule member to a file.
(aio_save_goal): Saves a goal to a file.
(aio_save): Used helper functions to clean up.
(aio_open_prem): Reads a premise from a file.
(aio_open_conc): Reads a conclusion from a file.
(aio_open): Used helper functions to clean up.
* sen-data.c (sen_data_evaluate): Fixed up evaluation bug.
(sen_data_init): Copies refs instead of setting refs.
* callbacks.c (evaluate_line): Fixed up evaluation bug.
(evaluate_proof): Same.
(gui_open): Fixed open label.
2013-11-21 Ian Dunn <[email protected]>
* callbacks.c (evaluate_line): Added current line to allow
for subproofs.
* aio.c (aio_save): Handled possibility of no references.
* sentence.c (sentence_init): Initialized depth, line numbers,
and indices correctly.
(sentence_gui_init): Updated highlighting tags to GTk3.
2013-11-20 Ian Dunn <[email protected]>
* callbacks.c (evaluate_line): Only collects the lines that
are needed for evaluation rather than all of them.
* sen-data.c: Added comments.
* proof.c: Added comments.
* sentence.h (sentence_update_refs): Added.
* sentence.c: Added comments to new functions.
(sentence_update_refs): Added to initialize
references from data element.
(sentence_init): Calls sen_data_copy to copy data elements.
2013-11-16 Ian Dunn <[email protected]>
* proof.c (proof_eval): Calls eval_proof directly.
* callbacks.c (evaluate_line): Pulls data straight from a
setnence.
* sentence.c (sentence_add_ref): Correctly handles sd->refs.
(sentence_rem_ref): Same.
(sentence_init): Same.
2013-11-15 Ian Dunn <[email protected]>
* conf-file.h: Fixed up default color for `good' color.
* sen-data.c (sd_convert_sexpr): Calls sen_convert_sexpr
on the sen-data's text and sexpr objects.
(sen_data_copy): Added to copy data from one object to
another.
* sentence.h: Added sd element, and changed refs to
references.
(SEN_PREM): Added macro for sentence_premise.
(SEN_SUB): Added macro for sentence_subproof.
(SEN_DEPTH): Added macro for sentence_depth.
(SEN_IND): Added macro for sentence_get_index.
* sentence.c (sentence_init): Implemented
sentence_get_line_no, and sentence_update_line_no.
Implemented sentence_set_rule.
Implemented sentence_set_text.
(sentence_destroy): Changed sen->refs to sen->references.
Destroys data members with sen_data_destroy.
(sentence_copy_to_data): Implements sen_data_copy.
(sentence_set_line_no): Implemented sentence_get_line_no.
(sentence_update_line_no): Calls sentence_set_line_no.
Implemented sentence_get_rule.
(sentence_add_ref): Adds a sentence to the references.
(sentence_rem_ref): Removes a sentence from the references.
(sentence_get_line_no): Gets the line number of a sentence.
(sentence_in): Changed refs to references.
(sentence_out): Same.
(select_reference): Implemented sentence_get_line_no, and
changed refs to refs to references.
(sentence_text_changed): Same.
Fixed up small bug.
(sentence_can_select_as_ref): Same.
Changed to use sen_data_can_select_as_ref.
(sentence_check_boolean_rule): Implemented sentence_set_rule.
(sentence_set_rule): Added to set the rule and rule box text
for a sentence.
(sentence_get_rule): Gets the rule integer of a sentence.
(sentence_set_text): Sets the text of a sentence.
(sentence_get_text): Gets the text of a sentence.
(sentence_premise): Returns the sentence's premise member.
(sentence_subproof): Returns the setnence's subproof member.
(sentence_depth): Returns the sentence's depth member.
(sentence_get_index): Returns an element of the index member.
(sentence_set_index): Sets an element of the index member.
* sen-parent.c (sen_parent_ins_sentence): Implemented
sentence_get_grid_no and sentence_get_line_no.
(sen_parent_rem_sentence): Implemented sentence_rem_ref.
* sen-data.h: Added SD macro to cast an object as a sentence
data object.
(sd_convert_sexpr): Added to convert a sen-data object's
text to S-expr.
* rules-table.c (rules_table_set_lm): Implemented
sentence_get_line_no.
(rules_toggled): Implemented sentence_set_rule.
* proof.h (eval_proof): Added.
* proof.c (eval_proof): Added a generic version of proof
evaluation.
* goal.c (goal_check_line): Implemented sentence_get_line_no
and sentence_update_line_no.
(goal_rem_line): Same.
* callbacks.c (evaluate_line): Implemented
sentence_get_line_no.
Uses sd_convert_sexpr.
(evaluate_proof): Same.
* aris.c (main): Cleaned up some comments.
* aris-proof.c (aris_proof_adjust_lines): Implemented
sentence_get_line_no.
(aris_proof_create_sentence): Same.
(aris_proof_kill): Same.
(aris_proof_import_proof): Same.
2013-11-12 Ian Dunn <[email protected]>
* sen-data.c (sen_data_init): Removed var object.
(sen_data_destroy): Same.
* sentence.c (sentence_init): Removed var object.
(sentence_destroy): Same.
(sentence_add_ref): Added to add a reference sentence.
(sentence_rem_ref): Added to remove a reference sentence.
(sentence_get_line_no): Added to retrieve the line number of
a sentence.
(sentence_get_grid_no): Gets the position of a sentence in its
containing grid.
* sen-data.h: Removed sen data vars and reference object.
* sentence.h: Removed sentence vars.
Added sentence_get_line_no and sentence_get_grid_no.
Added sen_data object to the sentence object.
Changed refs to references.
* callbacks.c (evaluate_line): Removed aris proof vars.
(menu_activated): Same.
(gui_toggle_rules): Added statusbar message.
* aris-proof.c (aris_proof_init): Removed vars object.
(aris_proof_destroy): Same.
(aris_proof_adjust_lines): Implemented sentence_get_line_no.
* aris-proof.h: Removed vars object from aris proof.
2013-11-09 Ian Dunn <[email protected]>
* Makefile.am: Removed test binary.
* aris-proof.c (aris_proof_post_init): Cleaned up code.
(aris_proof_create_sentence): Same.
* sen-parent.c (sen_parent_ins_sentence): Fixed up for
GtkGrid.
(sen_parent_rem_sentence): Same.
* sentence.h (sentence_get_line_no): Added to header file.
* sentence.c (sentence_set_line_no): Cleaned up code.
2013-11-08 Ian Dunn <[email protected]>
* sentence.c (sentence_set_line_no): Moved major parts of
line adjustment here.
(sentence_get_line_no): Gets the position within the parent
GtkGrid.
* aris-proof.c (aris_proof_undo): Fixed up undo operation.
(aris_proof_import_proof): Fixed up dialog labels.
(aris_proof_yank): Fixed minor bug.
(aris_proof_adjust_lines): Moved bulk of processing to
sentence_set_line_no.
* menu.c (construct_menu_item): Cleaned up comments.
2013-11-04 Ian Dunn <[email protected]>
* callbacks.c (gui_customize_show): Cleaned up comments.
(gui_submit_show): Same.
* rules-table.c (rule_toggled): Moved LM handling over to
rules_table_set_lm and rules_table_destroy_menu_item.
* rules-table.h (rules_table_set_lm): Added to set LM rule
and initialize menu item.
(rules_table_destroy_menu_item): Destroys the menu item
associated with the LM rule.
2013-11-03 Ian Dunn <[email protected]>
* callbacks.c (gui_customize_show): Uses conf_arrays and
conf_sizes.
* config-file.h (conf_arrays): Added to collect the
configuration arrays.
(conf_sizes): Holds the sizes of the configuration arrays.
(conf_cmds): Holds the command names for each configuration
type.
* app.c (the_app_read_default_config): Gets the default config
from config_default.
(the_app_make_default_config_file): Calls config_default to
construct the default config file.
* conf-file.c (config_default): Creates the default config
file string.
* sexpr-process-infer.c (proc_sm): Fixed error messages to be
more understandable.
(proc_ds): Same.
(proc_cn): Same.
(proc_ad): Same.
2013-11-02 Ian Dunn <[email protected]>
* sentence.c: Changed sen_values to valid icon names.
(sentence_gui_init): Updated to GTK3.
(sentence_set_bg): Same.
(sentence_set_value): Same.
(sentence_text_changed): Same.
* sen-parent.c (sen_parent_init): Updated to GTK3.
(sen_parent_ins_sentence): Same.
* rules-table.c (rules_group_init): Updated to GTK3.
(rules_table_help_init): Same.
(rules_table_init): Same.
(rule_toggled): Same.
(rules_table_set_font): Same.
* pound.h: Updated macros for GTK3.
* menu.c (construct_menu_item): Updated to GTK3 - removed menu
icons.
* goal.c (goal_check_line): Updated to GTK3.
(goal_add_line): Same.
(goal_rem_line): Same.
* conf-file.h: Updated stock icons to GTK3.
* conf-file.c (conf_color_value): Updated to GTK3.
* callbacks.h: Moved CUSTOM_ROWS definition to here.
* callbacks.c (gui_open): Updated to GTK3.
(gui_save): Same.
(gui_set_custom): Same.
(gui_customize_show): Same.
(gui_submit_show): Same.
(menu_activated): Added entry for redo.
* aris-proof.h (aris_proof_undo): Changed to take two
arguments.
* aris-proof.c (aris_proof_post_init): Updated to GTK3.
(aris_proof_init_from_proof): Same.
(aris_proof_import_proof): Same.
* configure.ac: Updated to use GTK3.
2013-11-01 Ian Dunn <[email protected]>
* rules-table.c (rules_table_create_menu): Cleaned up
menu arrays.
* aris-proof.c (aris_proof_create_menu): Cleaned up
configuration object arrays.
* menu.c (construct_menu_item): Removed redundant MENU_ID
enumeration.
* conf-file.h: Removed redundant MENU_ID enumeration.
Added default option to configuration objects.
Removed old menu configuration object arrays.
* callbacks.c (menu_activated): Removed redundant MENU_ID
enumeration.
(rule_menu_activated): Same.
* menu.h: Removed redundant MENU_ID enumeration.
2013-10-29 Ian Dunn <[email protected]>
* sentence.c (sentence_text_changed): Casted sp->goal as a
sen_parent.
* rules-table.c (rule_toggled): Casted ap as a sen_parent.
(rules_table_align): Same.
* goal.c (goal_init): Typecasted goal and ap as sen_parents.
(goal_check_all): Same.
(goal_rem_line): Same.
* callbacks.c (goal_menu_activate): Casted goal as a
sen_parent.
(goal_delete): Same.
(rules_table_state): Casted ap as sen_parent.
(gui_open): Same.
(gui_goal_check): Casted ap->goal as a sen_parent.
* aris-proof.c (aris_proof_to_proof): Casted ap->goal as a
sen_parent.
(aris_proof_adjust_lines): Casted ap as a sen_parent.
(aris_proof_create_sentence): Same.
(aris_proof_import_proof): Same.
(aris_proof_undo): Same.
Setup to handle both undo and redo.
* app.c (the_app_add_gui): Casted ap as a sen_parent.
* goal.h: Changed structure of goal struct to inherit
directly from sen parent.
* aris-proof.h: Changed structure of aris proof struct to
inherit directly from sen parent.
2013-10-19 Ian Dunn <[email protected]>
* aris-proof.c (aris_proof_kill): Fixed kill bug.
* sentence.c (sentence_copy_to_data): Fixed memory bug.
2013-10-01 Ian Dunn <[email protected]>
* aris-proof.c (aris_proof_create_sentence): Added undo
argument to check if undo information needs to be updated.
(aris_proof_undo): Added to undo an action.
(aris_proof_redo): Added to redo an action.
(undo_info_init): Changed to take a list as an argument.
(undo_info_init_one): Initialize an undo_info struct from a
single sentence.
(menu_activated): Updates statusbar after an undo.
2013-09-28 Ian Dunn <[email protected]>
* aris-proof.c (aris_proof_undo):
* aris-proof.h: Added undo element.
* sen-parent.c: Initializes undo element.
* goal.h: Added undo element.
* sen-parent.h: Added undo element.
2013-09-17 Ian Dunn <[email protected]>
* process.h (IS_BIN_CONN): Checks for a binary connective.
* process.c (check_sides): Fixed to check for negation.
2013-09-14 Ian Dunn <[email protected]>
* sexpr-process.c (sexpr_car_cdr): Fixed bug.
(sexpr_get_part): Same.
(sexpr_get_generalities): Same.
* configure.ac: Updated to version 2.1.1.
* src/Makefile.am: Added XPM files to build files.
* Makefile.am: Added license.
* sexpr-process-equiv.c (proc_sb): Fixed processing bug.
(proc_dt): Same.
(recurse_mode): Same.
2013-09-13 Ian Dunn <[email protected]>
* process.c (check_sides_quant): Allows for variables of
length > 1.
* sexpr-process-infer.c (proc_mp): Cleaned up code.
* sexpr-process-bool.c (proc_bi): Implemented construct_other.
Fixed processing bug.
(proc_bd): Implemented construct_other.
(proc_bn): Same.
(proc_sn): Same.
Cleaned up error messages.
* sexpr-process-equiv.c (recurse_mode): Added to replace
recurse_co and recurse_id.
Implemented sexpr_str_car_cdr to clean up code.
(proc_id): Implemented recurse_mode.
(proc_co): Same.
(proc_dt): Fixed processing bugs.
(proc_sb): Same.
(proc_im): Cleaned up code.
(proc_dm): Same.
(proc_dn): Same.
* sexpr-process.c (construct_other): Moved from
sexpr-process-equiv.c.
(sexpr_car_cdr): Added to clean up and shorten code.
(sexpr_str_car_cdr): Added to clean up and shorten code.
(sexpr_get_generalities): Implemented sexpr_car_cdr.
(sexpr_get_pred_args): Same.
(sexpr_elim_quant): Implemented sexpr_str_car_cdr.
* goal.c (goal_rem_line): Resets the line number highlight
of the corresponding sentence.
* callbacks.c (gui_open): Destroys current proof if only
proof is blank.
(evaluate_proof): Checks the goals as well.
* rules-table.c (rules_table_set_boolean_mode): Disables sq
and in rules in boolean mode.
* aris-proof.h (aris_proof_destroy): Fixed declaration.
* aris-proof.c (aris_proof_toggle_boolean_mode): Checks for
edit before setting edit to 0.
(aris_proof_set_changed): Frees new title.
(aris_proof_set_filename): Same.
Frees basename.
2013-09-09 Ian Dunn <[email protected]>
* sexpr-process-equiv.c (construct_other): Added for proc_im and proc_eq.
* sexpr-process-bool.c (proc_bi): Implemented sen_put_len.
(proc_bd): Same.
(proc_bn): Same.
(proc_sn): Same.
* sexpr-process-equiv.c (proc_im): Implemented sen_put_len.
(proc_as): Same.
(proc_dt): Same.
(proc_eq): Same.
(proc_dn): Same.
(proc_sb): Same.
* sexpr-process.c (sen_put_len): Added to put sentences by
length.
2013-09-05 Ian Dunn <[email protected]>
* callbacks.c (evaluate_line): Implements sen_convert_sexpr.
* aris-proof.c: Fixed up some memory leaks.
* sentence.c: Fixed up some memory leaks.
* sen-data.c (sen_convert_sexpr): Added sen_convert_sexpr.
2013-09-03 Ian Dunn <[email protected]>
* conf-file.c (conf_file_read): Checks for grade dir.
(conf_grade_value): Same.
* conf-file.h: Added enums for each conf type.
* callbacks.c (gui_customize_show): Changed to check enums
for number of entries.
* app.c (ftp_connect): Uses grade_dir entry.
* app.h: Added grade_dir member of app struct.
* aris-proof.c (aris_proof_import_proof): Changed to use
short pointer for refs.
* sentence.c (sentence_copy_to_data): Changed to use short
pointer.
* sen-data.h: Changed sd->refs to short pointer.
* sen-data.c (sen_data_init): Takes refs as a short pointer.
* aio.c (aio_open): Changed refs to a short pointer.
Fixed up several memory leaks.
2013-08-29 Ian Dunn <[email protected]>
* app.h: Added grade_pass member of app struct.
* conf-file.c (conf_file_read): Changed to implement
new grade password key.
(conf_grade_value): Changed to implement new grade
password key.
* conf-file.h: Added a grade password entry.
* aris.c (main): Removed w32 sockets initialization.
* callbacks.c (gui_submit_show): Uses number of entries
rather than the number of open proofs.
Changed number of grade entries to 2.
* app.c (ftp_connect): Changed to GIO Sockets.
Implemented grade server password.
(ftp_get_response): Same.
(ftp_send): Same.
(ftp_send_cmd): Added.
2013-08-28 Ian Dunn <[email protected]>
* callbacks.c (gui_customize_show): Fixed up w32 path.
Customize GUI is destroyed if an error occurs.
* conf-file.c (conf_file_read): Changed arguments to take
a string instead of a file.
* aris-proof.c (aris_proof_create_sentence): When adding a
new sentence with a rule, the rule will be added into the
menu bar.
* app.c (the_app_read_default_config): Added to parse the
default configuration.
Changed implementation of conf_file_read.
(init_app): Reads the default configuration first, then
the user's configuration.
(the_app_read_config_file): Doesn't bother to reread
the default configuration.
Changed implementation of conf_file_read.
(ftp_connect): Fixed up blocking calls within w32.
2013-08-27 Ian Dunn <[email protected]>
* sentence.c (sen_values): Changed sentence values from text
to stock icons.
(sentence_gui_init): Same.
(sentence_set_font): Same.
(sentence_set_value): Same.
* conf-file.h: Changed 'Goal..' to 'Toggle Goals...'.
* conf-file.c (conf_font_value): Fixed allocation bug.
* callbacks.c (gui_submit_show): Displays an error message if
the server specified couldn't be connected to.
Only shows saved proofs, and disables 'OK' button if none exist.
* process-main.c (process): Cleaned up comments.
* sen-data.c (sen_data_evaluate): Doesn't switch to GUI conns
before opening file.
* typedef.h (REPORT): Changed to print to stderr instead of
stdout.
* proof.c (proof_eval): Checks for existence of sexpr before