release ada-mode 5.1.7, wisi 1.1.0; minor format changes in ada-ref-man

diff --git a/packages/ada-mode/ada-prj.el b/packages/ada-mode/ada-prj.el
new file mode 100644 (file)
index 0000000..c05afbf
--- /dev/null
+++ b/packages/ada-mode/ada-prj.el
@@ -0,0 +1,4 @@
+;; dummy file to hide obsolete bundled version
+(require 'ada-mode)
+(provide 'ada-prj)
+(message "'ada-prj' is obsolete; use 'ada-mode' instead")

diff --git a/packages/ada-mode/ada-stmt.el b/packages/ada-mode/ada-stmt.el
new file mode 100644 (file)
index 0000000..163c1de
--- /dev/null
+++ b/packages/ada-mode/ada-stmt.el
@@ -0,0 +1,4 @@
+;; dummy file to hide obsolete bundled version
+(require 'ada-mode)
+(provide 'ada-stmt)
+(message "'ada-stmt' is obsolete; use 'ada-mode' instead")

diff --git a/packages/ada-mode/ada-xref.el b/packages/ada-mode/ada-xref.el
new file mode 100644 (file)
index 0000000..be8edc2
--- /dev/null
+++ b/packages/ada-mode/ada-xref.el
@@ -0,0 +1,4 @@
+;; dummy file to hide obsolete bundled version
+(require 'ada-mode)
+(provide 'ada-xref)
+(message "'ada-xref' is obsolete; use 'ada-mode' instead")