Mercurial > hg > extraction-interface

comparison interface/check_sections_details.php @ 4:883ad980a43b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add dynasty column to table books
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Tue, 27 Jan 2015 16:40:30 +0100
parents da5309d54083
children 0e9a7c69f22c
comparison
equal deleted inserted replaced
3:f196939ccc03 4:883ad980a43b
98 98
99 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> 99 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
100 <html> 100 <html>
101 <head> 101 <head>
102 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> 102 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
103 <link href="http://code.jquery.com/ui/1.10.4/themes/smoothness/jquery-ui.css" type="text/css" rel="stylesheet"/> 103 <link href="https://code.jquery.com/ui/1.10.4/themes/smoothness/jquery-ui.css" type="text/css" rel="stylesheet"/>
104 <!-- <link href="css/search.css" type="text/css" rel="stylesheet"/> 104 <!-- <link href="css/search.css" type="text/css" rel="stylesheet"/>
105 --> 105 -->
106 <link href="css/check_sections.css" type="text/css" rel="stylesheet"/> 106 <link href="css/check_sections.css" type="text/css" rel="stylesheet"/>
107 <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.6.2/jquery.min.js" type="text/javascript"></script> 107 <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.6.2/jquery.min.js" type="text/javascript"></script>
108 <script src="js/check_sections_details.js" type="text/javascript"></script> 108 <script src="js/check_sections_details.js" type="text/javascript"></script>
109 <script src="http://code.jquery.com/ui/1.10.4/jquery-ui.js" type="text/javascript"></script> 109 <script src="https://code.jquery.com/ui/1.10.4/jquery-ui.js" type="text/javascript"></script>
110 <!--<script src="js/check_sections.js" charset="utf-8"></script>!--> 110 <!--<script src="js/check_sections.js" charset="utf-8"></script>!-->
111 </head> 111 </head>
112 <body> 112 <body>
113 <div id="loading">...</div> 113 <div id="loading">...</div>
114 <div id="container"> 114 <div id="container">