This repository was archived by the owner on Oct 10, 2025. It is now read-only.
File tree
27 files changed
+8534
-30768
lines changed- fusus
- notebooks/Affifi
- ur
- Affifi
- html
- text
- Lakhnawi
- commentTest
- clean
- in
- out
- proof
27 files changed
+8534
-30768
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
136 | 136 | | |
137 | 137 | | |
138 | 138 | | |
| 139 | + | |
| 140 | + | |
| 141 | + | |
139 | 142 | | |
140 | 143 | | |
141 | 144 | | |
| |||
444 | 447 | | |
445 | 448 | | |
446 | 449 | | |
447 | | - | |
| 450 | + | |
448 | 451 | | |
449 | | - | |
| 452 | + | |
450 | 453 | | |
451 | 454 | | |
452 | 455 | | |
| |||
519 | 522 | | |
520 | 523 | | |
521 | 524 | | |
522 | | - | |
523 | | - | |
524 | 525 | | |
525 | 526 | | |
526 | 527 | | |
| |||
698 | 699 | | |
699 | 700 | | |
700 | 701 | | |
701 | | - | |
702 | | - | |
| 702 | + | |
| 703 | + | |
703 | 704 | | |
704 | 705 | | |
705 | 706 | | |
| |||
719 | 720 | | |
720 | 721 | | |
721 | 722 | | |
722 | | - | |
| 723 | + | |
723 | 724 | | |
724 | | - | |
725 | | - | |
| 725 | + | |
| 726 | + | |
726 | 727 | | |
727 | 728 | | |
728 | 729 | | |
| |||
735 | 736 | | |
736 | 737 | | |
737 | 738 | | |
738 | | - | |
| 739 | + | |
739 | 740 | | |
740 | 741 | | |
741 | 742 | | |
| |||
827 | 828 | | |
828 | 829 | | |
829 | 830 | | |
830 | | - | |
831 | | - | |
| 831 | + | |
| 832 | + | |
| 833 | + | |
832 | 834 | | |
833 | 835 | | |
834 | 836 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
184 | 184 | | |
185 | 185 | | |
186 | 186 | | |
187 | | - | |
188 | | - | |
189 | 187 | | |
190 | 188 | | |
191 | 189 | | |
| |||
216 | 214 | | |
217 | 215 | | |
218 | 216 | | |
219 | | - | |
| 217 | + | |
| 218 | + | |
220 | 219 | | |
221 | 220 | | |
222 | 221 | | |
| |||
566 | 565 | | |
567 | 566 | | |
568 | 567 | | |
569 | | - | |
| 568 | + | |
570 | 569 | | |
571 | 570 | | |
572 | 571 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
147 | 147 | | |
148 | 148 | | |
149 | 149 | | |
150 | | - | |
| 150 | + | |
151 | 151 | | |
152 | 152 | | |
153 | 153 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
6430 | 6430 | | |
6431 | 6431 | | |
6432 | 6432 | | |
6433 | | - | |
| 6433 | + | |
| 6434 | + | |
| 6435 | + | |
| 6436 | + | |
| 6437 | + | |
| 6438 | + | |
| 6439 | + | |
| 6440 | + | |
| 6441 | + | |
| 6442 | + | |
| 6443 | + | |
| 6444 | + | |
| 6445 | + | |
| 6446 | + | |
| 6447 | + | |
| 6448 | + | |
| 6449 | + | |
| 6450 | + | |
| 6451 | + | |
| 6452 | + | |
| 6453 | + | |
| 6454 | + | |
| 6455 | + | |
| 6456 | + | |
| 6457 | + | |
| 6458 | + | |
| 6459 | + | |
| 6460 | + | |
| 6461 | + | |
| 6462 | + | |
| 6463 | + | |
| 6464 | + | |
| 6465 | + | |
| 6466 | + | |
| 6467 | + | |
| 6468 | + | |
| 6469 | + | |
| 6470 | + | |
| 6471 | + | |
| 6472 | + | |
6434 | 6473 | | |
6435 | 6474 | | |
6436 | 6475 | | |
6437 | 6476 | | |
6438 | 6477 | | |
6439 | 6478 | | |
6440 | | - | |
6441 | | - | |
6442 | | - | |
| 6479 | + | |
| 6480 | + | |
| 6481 | + | |
6443 | 6482 | | |
6444 | 6483 | | |
6445 | 6484 | | |
6446 | 6485 | | |
6447 | 6486 | | |
6448 | | - | |
| 6487 | + | |
6449 | 6488 | | |
6450 | 6489 | | |
6451 | 6490 | | |
| |||
6456 | 6495 | | |
6457 | 6496 | | |
6458 | 6497 | | |
6459 | | - | |
| 6498 | + | |
6460 | 6499 | | |
6461 | 6500 | | |
6462 | 6501 | | |
| |||
0 commit comments