Preferences.sublime-settings

{
	"added_words":
	[
		"clopen",
		"approximant",
		"approximants",
		"preimage",
		"suprema",
		"equivariant",
		"pointwise",
		"expressivity",
		"Ubuntu",
		"formedness",
		"supremum",
		"teleportation",
		"desugar",
		"unrollings",
		"datacenter",
		"Kozen",
		"Brzozowski",
		"substochastic",
		"coalgebra",
		"axiomatizable",
		"equationally",
		"waypointing",
		"middlebox",
		"Canonicity",
		"canonicity",
		"indices",
		"reducedness",
		"backends",
		"backend",
		"stateful",
		"monoid",
		"nestedness",
		"subloops",
		"factorizable",
		"fixpoints",
		"frontend",
		"equational",
		"encodable",
		"reviewer's",
		"fixpoint",
		"subcoalgebra",
		"Salomaa's",
		"idempotence",
		"lexer",
		"homomorphically",
		"coalgebras",
		"Bellairs",
		"Antimirov",
		"determinization",
		"determinize",
		"factorizability",
		"linearization",
		"coproducts",
		"surjective",
		"precompositions",
		"precomposition",
		"bisimilarity",
    "Abitur",
		"Allianz",
		"Automata",
		"Deutschland",
		"Deutschlandstipendium",
		"Juilf",
		"Kleene",
		"München",
		"Technische",
		"Universität",
		"automata",
		"multicast",
		"multicasted",
		"online",
		"pushforward",
	],
	"auto_complete_commit_on_tab": true,
	"default_encoding": "UTF-8",
	"default_line_ending": "unix",
	"file_exclude_patterns":
	[
		"*.pyc",
		"*.pyo",
		"*.exe",
		"*.dll",
		"*.obj",
		"*.o",
		"*.a",
		"*.lib",
		"*.so",
		"*.dylib",
		"*.ncb",
		"*.sdf",
		"*.suo",
		"*.pdb",
		"*.idb",
		".DS_Store",
		"*.class",
		"*.psd",
		"*.db"
	],
	"folder_exclude_patterns":
	[
		"_build",
		".svn",
		".git",
		".hg",
		"CVS"
	],
	"font_size": 13,
	"ignored_packages":
	[
		"Vintage"
	],
	"rulers":
	[
		80,
		100
	],
	"tab_size": 2,
	"translate_tabs_to_spaces": true,
	"trim_trailing_white_space_on_save": false,
	"word_wrap": "true",
	"wrap_width": 101
}