this is for holding javascript data
Ulisses Telemaco edited figures/rename/caption.tex
over 8 years ago
Commit id: adde0e64b1e1b9b17701b2ccac4b2324a3cdbb30
deletions | additions
diff --git a/figures/rename/caption.tex b/figures/rename/caption.tex
index 1366735..8a18dd0 100644
--- a/figures/rename/caption.tex
+++ b/figures/rename/caption.tex
...
Figure 8: Rename Tailoring Operator representation