X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fnetstring%2Fbase64.ml;fp=helm%2FDEVEL%2Fpxp%2Fnetstring%2Fbase64.ml;h=285626f77da66e37c56c709a32b5f7376e299017;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;p=helm.git

diff --git a/helm/DEVEL/pxp/netstring/base64.ml b/helm/DEVEL/pxp/netstring/base64.ml
new file mode 100644
index 000000000..285626f77
--- /dev/null
+++ b/helm/DEVEL/pxp/netstring/base64.ml
@@ -0,0 +1,24 @@
+(* $Id$
+ * ----------------------------------------------------------------------
+ *
+ *)
+
+let encode s = Netencoding.Base64.encode s;;
+let url_encode s = Netencoding.Base64.url_encode s;;
+let decode s = Netencoding.Base64.decode s;;
+
+(* ======================================================================
+ * History:
+ * 
+ * $Log$
+ * Revision 1.1  2000/11/17 09:57:27  lpadovan
+ * Initial revision
+ *
+ * Revision 1.2  2000/06/25 22:34:43  gerd
+ * 	Added labels to arguments.
+ *
+ * Revision 1.1  2000/03/02 01:15:20  gerd
+ * 	Initial revision.
+ *
+ * 
+ *)