Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Sledgehammer/MaSh/src/argparse.py
changeset 50228 cf1a274bbba6
parent 50222 40e3c3be6bca 
--- a/src/HOL/Tools/Sledgehammer/MaSh/src/argparse.py	Mon Nov 26 14:20:51 2012 +0100
+++ b/src/HOL/Tools/Sledgehammer/MaSh/src/argparse.py	Mon Nov 26 15:31:03 2012 +0100
@@ -4,7 +4,7 @@
 
 # -*- coding: utf-8 -*-
 
-# Copyright © 2006-2009 Steven J. Bethard <steven.bethard@gmail.com>.
+# Copyright (C) 2006-2009 Steven J. Bethard <steven.bethard@gmail.com>.
 #
 # Licensed under the Apache License, Version 2.0 (the "License"); you may not
 # use this file except in compliance with the License. You may obtain a copy
isabelle