Commit 1b8e203d authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-05-17 11:59:43 by beppe] Empty log message

Original author: beppe
Date: 2005-05-17 11:59:43+00:00
parent fccbe71a
0.3.2+1
* Added char_of_int built_in function.
0.3.2 0.3.2
* Bug fix in configure * Bug fix in configure
......
...@@ -3,8 +3,8 @@ JAVA_HOME=/usr/java/jre1.5.0 ...@@ -3,8 +3,8 @@ JAVA_HOME=/usr/java/jre1.5.0
VERSION=0.3.2 VERSION=0.3.2
BUILD_DIR:=$(PWD:/doc/fomanual=) BUILD_DIR:=$(PWD:/doc/fomanual=)
CDUCE=$(BUILD_DIR)/cduce CDUCE=$(BUILD_DIR)/cduce
# FOP=fop-0.20.5/fop.sh FOP=fop-0.20.5/fop.sh
FOP=fop #FOP=fop
all: manual.pdf tutorial.pdf all: manual.pdf tutorial.pdf
...@@ -63,4 +63,4 @@ clean:: ...@@ -63,4 +63,4 @@ clean::
# #
# END # END
# #
\ No newline at end of file
...@@ -482,7 +482,7 @@ match argv [] with ...@@ -482,7 +482,7 @@ match argv [] with
] in ] in
dump_to_file ("../doc/fomanual/"@out_file) dump_to_file ("../doc/fomanual/"@out_file)
(* dump_to_file (out_file) *) (* dump_to_file (out_file) *)
['<?xml version="1.0" encoding="ISO-8859-1"?>' !(print_xml DebutFo)] ['<?xml version="1.0" encoding="UTF-8"?>' !(print_xml DebutFo)]
(*print(print_xml(main_page));*) (*print(print_xml(main_page));*)
(* print (gen_page main_page)*) (* print (gen_page main_page)*)
with err & Latin1 -> with err & Latin1 ->
......
...@@ -467,7 +467,7 @@ text-align:center; color: #aa0000; font: bold 200% helvetica" > ...@@ -467,7 +467,7 @@ text-align:center; color: #aa0000; font: bold 200% helvetica" >
<html>[ <html>[
<head>[ <head>[
<title>[ !site ': ' !title ] <title>[ !site ': ' !title ]
<meta content="text/html; charset=utf8" http-equiv="Content-Type">[] <meta content="text/html; charset=utf-8" http-equiv="Content-Type">[]
<style type="text/css">style <style type="text/css">style
] ]
<body style="margin: 0; padding : 0; background: #fcb333" <body style="margin: 0; padding : 0; background: #fcb333"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment