From a861a24c3dfcf3f9445b691b693e1ae890712b56 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 21 Mar 2006 13:39:27 +0000
Subject: [PATCH] added raw query form
---
.../matita/scripts/public_html/bench.php | 17 ++++++-
.../matita/scripts/public_html/common.php | 43 ++++++++++++++++++
.../matita/scripts/public_html/showquery.php | 45 +++----------------
3 files changed, 65 insertions(+), 40 deletions(-)
diff --git a/helm/software/matita/scripts/public_html/bench.php b/helm/software/matita/scripts/public_html/bench.php
index f11994ec1..4d45173ba 100644
--- a/helm/software/matita/scripts/public_html/bench.php
+++ b/helm/software/matita/scripts/public_html/bench.php
@@ -91,7 +91,7 @@ function links_of($name,$q,$limits){
links_of("All table contents",$quey_all,$limits) ?>
- Custom Query
+ Custom Query - Simple Interface
+Custom Query - raw SQL
+
+