From b2eb2e7744d9947f6b5cf61c917014d9d5a4da7d Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <gdr@axiomatics.org>
Date: Sat, 16 Jan 2016 13:47:40 -0800
Subject: Reduce dependencies on databases to catgeory.daase during algebra
 build

---
 src/algebra/java.spad.pamphlet | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'src/algebra/java.spad.pamphlet')

diff --git a/src/algebra/java.spad.pamphlet b/src/algebra/java.spad.pamphlet
index 11d69455..e046fdf2 100644
--- a/src/algebra/java.spad.pamphlet
+++ b/src/algebra/java.spad.pamphlet
@@ -18,7 +18,7 @@
 ++ Date Created: July 18, 2008
 ++ Data Last Modified: July 18, 2010
 ++ Description:  JVM class file access bitmask and values.
-JVMClassFileAccess(): Public == Private where
+JVMClassFileAccess: Public == Private where
   Public == Join(SetCategory,Logic) with
     jvmPublic: %
       ++ The class was declared public, therefore may be accessed
@@ -48,7 +48,7 @@ JVMClassFileAccess(): Public == Private where
 ++ Data Last Modified: July 18, 2010
 ++ Description:
 ++   JVM class field access bitmask and values.
-JVMFieldAccess(): Public == Private where
+JVMFieldAccess: Public == Private where
   Public == Join(SetCategory,Logic) with
     jvmPublic: %
       ++ The field was declared public; therefore mey accessed from
@@ -88,7 +88,7 @@ JVMFieldAccess(): Public == Private where
 ++ Data Last Modified: July 18, 2010
 ++ Description:
 ++   JVM class method access bitmask and values.
-JVMMethodAccess(): Public == Private where
+JVMMethodAccess: Public == Private where
   Public == Join(SetCategory,Logic) with
     jvmPublic: %
       ++ The method was declared public; therefore mey accessed from
@@ -136,7 +136,7 @@ JVMMethodAccess(): Public == Private where
 ++ Data Last Modified: July 18, 2010
 ++ Description:
 ++   JVM class file constant pool tags.
-JVMConstantTag(): Public == Private where
+JVMConstantTag: Public == Private where
   Public == Join(SetCategory,CoercibleTo Byte) with
     jvmUTF8ConstantTag: %
       ++ The corresponding constant pool entry is sequence of bytes
@@ -187,7 +187,7 @@ JVMConstantTag(): Public == Private where
 ++ Data Last Modified: July 18, 2010
 ++ Description:
 ++   This is the datatype for the JVM bytecodes.
-JVMBytecode(): Public == Private where
+JVMBytecode: Public == Private where
   Public == Join(SetCategory, HomotopicTo Byte)
   Private == Byte add
     coerce(b: Byte): % ==
@@ -205,7 +205,7 @@ JVMBytecode(): Public == Private where
 ++ Data Last Modified: July 18, 2010
 ++ Description:
 ++   This is the datatype for the JVM opcodes.
-JVMOpcode(): Public == Private where
+JVMOpcode: Public == Private where
   Public == Join(SetCategory,HomotopicTo JVMBytecode,HomotopicTo Byte)
   Private == JVMBytecode add
     -- mnemonics equivalent of bytecodes.
@@ -274,7 +274,7 @@ JVMOpcode(): Public == Private where
 
 \section{License}
 <<license>>=
---Copyright (C) 2007-2010, Gabriel Dos Reis.
+--Copyright (C) 2007-2016, Gabriel Dos Reis.
 --All rights reserved.
 --
 --Redistribution and use in source and binary forms, with or without
-- 
cgit v1.2.3