Changeset b0069a3 for doc/theses/jiada_liang_MMath/Cenum.tex

Timestamp:

Aug 7, 2024, 7:07:30 PM (42 hours ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

a8f44c8

Parents:

92a0ee8 (diff), 9d3a4cc (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• doc/theses/jiada_liang_MMath/Cenum.tex (moved) (moved from doc/theses/jiada_liang_MMath/CEnum.tex) (1 diff)

doc/theses/jiada_liang_MMath/Cenum.tex

@@ -1 @@
-\chapter{C Enumeration in \CFA}
+\chapter{C Enumeration in \texorpdfstring{\CFA}{Cforall}}
 
 \CFA supports legacy C enumeration using the same syntax for backwards compatibility.