turtle-web-editor/index.html

33 lines
1.3 KiB
HTML
Raw Normal View History

2015-07-14 19:23:35 +02:00
<html>
<head>
<title>Turtle validator</title>
<script src="https://code.jquery.com/jquery-2.1.4.min.js"></script>
<script src="js/ttl.js"></script>
2017-11-18 14:12:34 +01:00
<script src="js/lined-textarea.js"></script>
2015-07-14 19:23:35 +02:00
<link rel="stylesheet" href="css/style.css">
2017-11-18 14:12:34 +01:00
<link rel="stylesheet" href="css/lined-textarea.css">
2015-07-14 19:23:35 +02:00
<link href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.5/css/bootstrap.min.css" rel="stylesheet">
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.5/js/bootstrap.min.js"></script>
</head>
<body>
2016-11-29 11:18:21 +01:00
<div class="container">
<h1>IDLab Turtle Validator</h1>
<p>This is the web version of the NodeJS <a href="https://github.com/mmlab/TurtleValidator">Turtle Validator</a>,
which is also available as a command line tool.</p>
<h2>Paste your turtle file in here and press validate</h2>
<form>
<div class="form-group">
2017-11-18 14:12:34 +01:00
<textarea class="area lined" id="ta_turtle"></textarea>
2016-11-29 11:18:21 +01:00
</div>
<div class="form-group">
<input type="button" id="btn_validate" class="btn btn-default" value="Validate!"/>
</div>
</form>
<ul id="errors"></ul>
<ul id="warnings"></ul>
<p id="results"></p>
<script src="js/app.js"></script>
</div>
2015-07-14 19:23:35 +02:00
</body>
</html>