paradyx/ma-tex - Change DJPCS5EU6K5RJO2XKRJ53PS4WYECL63UPHY54K7QWCZNXIJRQI4AC

Bring back colors in jabref

Created by paradyx on May 9, 2023

DJPCS5EU6K5RJO2XKRJ53PS4WYECL63UPHY54K7QWCZNXIJRQI4AC

Dependencies

[2] JCK77YLTPL6VV5ZOTMGUJSFZ5DNMS3MZGP5UQLXYW6WSMEK6GAQAC

In channels

main

Change contents

Replacement in literature.bib at line 159 [2.18034]
B:BD[2.25641] → [2.25641:25690]
```
@InProceedings{DBLP:conf/cade/GieslBEFFOPSSST14,
```
[2.25641]
[2.25690]
```
@InProceedings{giesl2014ijcar,
```

Insertion in literature.bib at line 387 [2.18034]

[2.36043]


@Comment{jabref-meta: grouping:
0 AllEntriesGroup:;
1 StaticGroup:AProVE\;0\;1\;0xffccccff\;\;\;;
1 StaticGroup:CoFloCo\;0\;1\;0xb3e6e6ff\;\;\;;
1 StaticGroup:KoAT\;0\;1\;0xe64d4dff\;\;\;;
1 StaticGroup:LoAT\;0\;1\;0xffff66ff\;\;\;;
1 StaticGroup:Partial Evaluation\;0\;1\;0xccffccff\;\;\;;
1 StaticGroup:Probability\;0\;1\;0x1a3399ff\;\;\;;
1 StaticGroup:Tools\;0\;0\;0x8a8a8aff\;\;\;;
}