ats-sessions.sublime-project

{
	"folders":
	[
		{
			"path": "."
		},
		{
			"path": "/Users/hwwu/Git/ats-utils"
		},
		{
			"path": "/Users/hwwu/Git/ats-session-playground"
		},
		{
			"path": "/Users/hwwu/Programs/atsgit/contrib/ATS-extsolve"
		},
		{
			"path": "/Users/hwwu/Programs/atsgit/contrib/ATS-extsolve-smt2"
		},
		{
			"path": "/Users/hwwu/Programs/atsgit/contrib/ATS-extsolve-z3"
		},
		{
			"path": "/Users/hwwu/Git/c0/cc0-concur"
		}
	]
}