#
# ChangeLog for src/ASM/TACAS2013-policy
#
# Generated by Trac 1.2
# Feb 25, 2021, 4:51:55 AM

Tue, 14 Jan 2014 14:09:15 GMT boender [3415]
	* src/ASM/TACAS2013-policy/algorithm.tex (modified)
	* src/ASM/TACAS2013-policy/main.tex (modified)
	* src/ASM/TACAS2013-policy/proof.tex (modified)

	- changes for proceedings of TACAS 2014


Fri, 11 Oct 2013 14:39:32 GMT boender [3393]
	* src/ASM/TACAS2013-policy/algorithm.tex (modified)
	* src/ASM/TACAS2013-policy/biblio.bib (modified)
	* src/ASM/TACAS2013-policy/conclusion.tex (modified)
	* src/ASM/TACAS2013-policy/problem.tex (modified)
	* src/ASM/TACAS2013-policy/proof.tex (modified)

	- TACAS stuff


Fri, 11 Oct 2013 10:25:58 GMT boender [3392]
	* src/ASM/TACAS2013-policy (moved)

	- renamed paper yet again


Tue, 18 Jun 2013 00:36:31 GMT sacerdot [3370]
	* src/ASM/CPP2013-policy/algorithm.tex (modified)
	* src/ASM/CPP2013-policy/biblio.bib (modified)
	* src/ASM/CPP2013-policy/conclusion.tex (modified)
	* src/ASM/CPP2013-policy/proof.tex (modified)

	Submitted.