Patrick Lühne 5816207af7 Renamed “note” to “info.”		2016-11-24 22:58:13 +01:00
..
ClingoOutput.h	Implemented syntax highlighting for consequent part.	2016-11-24 03:16:37 +01:00
ColorStream.h	Fixed bug in color support detection.	2016-11-24 15:01:15 +01:00
Formatting.h	Implemented syntax highlighting for consequent part.	2016-11-24 03:16:37 +01:00
Logger.h	Added Logger constructors to write output to arbitrary streams.	2016-11-24 13:54:40 +01:00
Priority.h	Renamed “note” to “info.”	2016-11-24 22:58:13 +01:00