#
# ChangeLog for src/ASM/CPP2012-policy/main.tex
#
# Generated by Trac 1.2
# Sep 26, 2020, 1:21:47 AM
Fri, 15 Jun 2012 15:56:30 GMT boender [2099]
* src/ASM/CPP2012-policy/biblio.bib (modified)
* src/ASM/CPP2012-policy/conclusion.tex (modified)
* src/ASM/CPP2012-policy/main.tex (modified)
* src/ASM/CPP2012-policy/problem.tex (modified)
* src/ASM/CPP2012-policy/proof.tex (modified)
- added reference to Intel dev manual
Fri, 15 Jun 2012 13:25:55 GMT mulligan [2097]
* src/ASM/CPP2012-policy/main.tex (modified)
Consistency change (institution)
Thu, 14 Jun 2012 23:17:15 GMT boender [2084]
* src/ASM/CPP2012-policy/conclusion.tex (modified)
* src/ASM/CPP2012-policy/main.tex (modified)
* src/ASM/CPP2012-policy/proof.tex (modified)
* src/ASM/CPP2012-policy/splncs03.bst (added)
- changed bibliography style
- added CerCo thanks
- some words of ...
Wed, 13 Jun 2012 15:29:11 GMT boender [2064]
* src/ASM/CPP2012-policy/algorithm.tex (modified)
* src/ASM/CPP2012-policy/biblio.bib (modified)
* src/ASM/CPP2012-policy/conclusion.tex (added)
* src/ASM/CPP2012-policy/lst-grafite.tex (added)
* src/ASM/CPP2012-policy/main.tex (modified)
* src/ASM/CPP2012-policy/problem.tex (modified)
* src/ASM/CPP2012-policy/proof.tex (added)
- more progress
Wed, 13 Jun 2012 09:58:55 GMT boender [2054]
* src/ASM/CPP2012-policy/algorithm.tex (modified)
* src/ASM/CPP2012-policy/main.tex (modified)
* src/ASM/CPP2012-policy/problem.tex (modified)
- progress
Tue, 12 Jun 2012 11:35:47 GMT boender [2045]
* src/ASM/CPP2012-policy (copied)
- renamed paper directory
Tue, 17 Apr 2012 16:05:46 GMT boender [1889]
* src/ASM/SEFM2012/algorithm.tex (added)
* src/ASM/SEFM2012/biblio.bib (added)
* src/ASM/SEFM2012/llncs.cls (added)
* src/ASM/SEFM2012/main.tex (added)
* src/ASM/SEFM2012/problem.tex (added)
- some pages of article