X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Doxyfile;fp=Doxyfile;h=73e63b4f698d4a43784922530e81cfe822055d72;hb=99779716bb2842e00ea0a0c06e87fd9545ddfda3;hp=65c02c804c8025fcf4b54ce13bb0cbe2b3179fb2;hpb=edf2d22457c3537226a4510885c3f346bc80f143;p=satcheck.git

diff --git a/Doxyfile b/Doxyfile
index 65c02c8..73e63b4 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -26,7 +26,7 @@ DOXYFILE_ENCODING      = UTF-8
 # identify the project. Note that if you do not use Doxywizard you need
 # to put quotes around the project name if it contains spaces.
 
-PROJECT_NAME           = "MC2: A Model Checker for SC"
+PROJECT_NAME           = "SATCheck: A SAT-based Model Checker for SC/TSO"
 
 # The PROJECT_NUMBER tag can be used to enter a project or revision number.
 # This could be handy for archiving the generated documentation or