]> matita.cs.unibo.it Git - helm.git/log
helm.git
21 years ago- implemented status {,de}serialization
Stefano Zacchiroli [Wed, 19 Feb 2003 14:17:24 +0000 (14:17 +0000)]
- implemented status {,de}serialization
- implemented hint {,de}serialization
- added support for new Wow and Too_late messages
- added dump_msg debugging function
- added Unexpected_message exception

21 years ago- formalized proof engine status
Stefano Zacchiroli [Wed, 19 Feb 2003 14:04:17 +0000 (14:04 +0000)]
- formalized proof engine status
- formalized hints and hints list
- added Wow and Too_late broker -> tutor messages
- fixed Eureka message contents to carry a real life hint

21 years ago- added helm- modules dependencies
Stefano Zacchiroli [Wed, 19 Feb 2003 14:01:18 +0000 (14:01 +0000)]
- added helm- modules dependencies
- added ocamldoc generation of .dot modules dependency graph

21 years agorebuilt
Stefano Zacchiroli [Wed, 19 Feb 2003 14:00:20 +0000 (14:00 +0000)]
rebuilt

21 years agoadded common module
Stefano Zacchiroli [Wed, 19 Feb 2003 13:59:56 +0000 (13:59 +0000)]
added common module

21 years ago- added callbacks parameters to hbugsClient constructor (on_exit,
Stefano Zacchiroli [Wed, 19 Feb 2003 13:59:06 +0000 (13:59 +0000)]
- added callbacks parameters to hbugsClient constructor (on_exit,
  on_use_hint)
- hid methods used to handle local http daemon
- added and exposed methods registerToBroker, unregisterFromBroker,
  subscribeAll
- removed useHint, hint are returned on request by "hint" new method
- remeber availableTutors from last List_tutor message and use them to
  show tutors name instead of tutor id in main window
- handle double click on hint name to use an hint
- added wait parameter sendReq method to be able to wait the answer of
  a request
- added support for multiple hints received from broker
- clear old hints on state change
- subscribe to all available tutors on creation
- added subscribeSelected method

21 years ago- removed use hint button
Stefano Zacchiroli [Wed, 19 Feb 2003 13:51:26 +0000 (13:51 +0000)]
- removed use hint button
- rearragned subscribe part of main window

21 years agos/gui/hbugs_client_gui/
Stefano Zacchiroli [Wed, 19 Feb 2003 13:50:28 +0000 (13:50 +0000)]
s/gui/hbugs_client_gui/

21 years agofoo main program that instantiate a client GUI, for debugging purposes
Stefano Zacchiroli [Wed, 19 Feb 2003 13:49:41 +0000 (13:49 +0000)]
foo main program that instantiate a client GUI, for debugging purposes

21 years ago- bugfix: musings table is now consistent!
Stefano Zacchiroli [Wed, 19 Feb 2003 13:48:35 +0000 (13:48 +0000)]
- bugfix: musings table is now consistent!
- changed data structures used to hold musings: now explicitely use
  lists instead of relying on Hashtbl multiple bindings
- added isActive method on musings class

21 years ago- better specialization of some error messages
Stefano Zacchiroli [Wed, 19 Feb 2003 13:46:36 +0000 (13:46 +0000)]
- better specialization of some error messages
- added some informational messages
- use hint received from tutor instead of a fooish one
- control over answer from gTopLevel when sending hint
- commented out debugging wrapper which print all received messages

21 years ago- added doc target to generate .dot dependency graph using ocamldoc
Stefano Zacchiroli [Wed, 19 Feb 2003 13:38:17 +0000 (13:38 +0000)]
- added doc target to generate .dot dependency graph using ocamldoc
- added start/stop targets to start/stop broker
- clean run dir/ on distclean

21 years agoadded control script to start/stop broker
Stefano Zacchiroli [Wed, 19 Feb 2003 13:37:12 +0000 (13:37 +0000)]
added control script to start/stop broker

21 years agoadded hbugs-common and hbugs-thread_safe
Stefano Zacchiroli [Wed, 19 Feb 2003 13:36:28 +0000 (13:36 +0000)]
added hbugs-common and hbugs-thread_safe

21 years agoadded hbugs-common objects
Stefano Zacchiroli [Wed, 19 Feb 2003 13:35:54 +0000 (13:35 +0000)]
added hbugs-common objects

21 years agoadded META for hbugs client
Stefano Zacchiroli [Wed, 19 Feb 2003 13:34:55 +0000 (13:34 +0000)]
added META for hbugs client

21 years ago* the stylesheet does not generate the tml namespace anymore
Luca Padovani [Fri, 14 Feb 2003 15:15:05 +0000 (15:15 +0000)]
* the stylesheet does not generate the tml namespace anymore

21 years ago* removed memory leak (maybe)
Luca Padovani [Fri, 14 Feb 2003 15:10:30 +0000 (15:10 +0000)]
* removed memory leak (maybe)
* used Val_Element_ref instead of reffing explicitly

21 years agoDebug code removed.
Claudio Sacerdoti Coen [Fri, 14 Feb 2003 11:58:17 +0000 (11:58 +0000)]
Debug code removed.

21 years ago* assertion too strict removed
Luca Padovani [Thu, 13 Feb 2003 13:22:00 +0000 (13:22 +0000)]
* assertion too strict removed

21 years ago* added missing dependencies
Luca Padovani [Thu, 13 Feb 2003 13:20:40 +0000 (13:20 +0000)]
* added missing dependencies

21 years agoType fixed.
Claudio Sacerdoti Coen [Thu, 13 Feb 2003 12:51:08 +0000 (12:51 +0000)]
Type fixed.

21 years ago* added show/hide cursro methods
Luca Padovani [Thu, 13 Feb 2003 12:40:34 +0000 (12:40 +0000)]
* added show/hide cursro methods
* some code cleanup
* fix in reset
* fix in get_tex (binding ocaml)
* added tex to mml translator

21 years ago* the type of the constructor was wrong
Luca Padovani [Wed, 12 Feb 2003 16:24:58 +0000 (16:24 +0000)]
* the type of the constructor was wrong

21 years ago* bind of method get_drawing_area
Luca Padovani [Wed, 12 Feb 2003 13:08:21 +0000 (13:08 +0000)]
* bind of method get_drawing_area
* currently the test doesn't do anything with it

21 years agoBug fixed. In the previous version, all right open macros and all delimited arguments
Paolo Marinelli [Wed, 12 Feb 2003 09:16:56 +0000 (09:16 +0000)]
Bug fixed. In the previous version, all right open macros and all delimited arguments
of a macro, could be closed inserting a closing brace.
Now, a right open macro can be closed only if it's contained in a group (with id).
To close it, the user has to type a closing brace, which closes the group.
A right open macro not contained in a group, cannot be closed: any closing brace
is ignored.
The only way to exit from a delimited argument, the user has to type the delimiter (or the
sequence of delimiters).
To fix this bug, a new method has been added to the TPushParser class. This method
(bool correctBrace(void)), is used to determine if a closing brace is appropriate to
close a right open macro.
In addition, advance method has been modified.

21 years ago* this is a large commit
Luca Padovani [Sat, 8 Feb 2003 22:13:29 +0000 (22:13 +0000)]
* this is a large commit
* added freeze/thaw methods to parser
* added XSLT + Diff class
* added <include> method for including dictionaries
* added preliminary ocaml binding (C+ML)
* code cleanup

21 years ago* added apply method that takes no parameters
Luca Padovani [Sat, 8 Feb 2003 22:09:57 +0000 (22:09 +0000)]
* added apply method that takes no parameters

21 years agoAdded support for NuPRL URIs.
Claudio Sacerdoti Coen [Fri, 7 Feb 2003 12:05:57 +0000 (12:05 +0000)]
Added support for NuPRL URIs.

Note: theory files are supported only for CIC. To be understood.

21 years agoAdded some controls to handle the case in which the user type an unexpected '{'
Paolo Marinelli [Thu, 6 Feb 2003 11:53:48 +0000 (11:53 +0000)]
Added some controls to handle the case in which the user type an unexpected '{'
character. Now, the editor doesn't crash, but emit an error.
Removed some debug messages.

21 years agoMakefile.common.in and .depend backtracked to my last commit (before the
Claudio Sacerdoti Coen [Wed, 5 Feb 2003 12:46:20 +0000 (12:46 +0000)]
Makefile.common.in and .depend backtracked to my last commit (before the
ones of Ferruccio) and then modified. Dependencies between a file and a
library are now handled correctly.

21 years agopackege dependences calculation patched
Ferruccio Guidi [Wed, 5 Feb 2003 11:42:52 +0000 (11:42 +0000)]
packege dependences calculation patched

21 years agoMissing parameters added to MathML Content mode.
Claudio Sacerdoti Coen [Wed, 5 Feb 2003 11:28:41 +0000 (11:28 +0000)]
Missing parameters added to MathML Content mode.

21 years agopackage dependences calulation fixed
Ferruccio Guidi [Wed, 5 Feb 2003 11:09:48 +0000 (11:09 +0000)]
package dependences calulation fixed

21 years agoSQL quoting fixed in relation.ml
Ferruccio Guidi [Tue, 4 Feb 2003 19:08:28 +0000 (19:08 +0000)]
SQL quoting fixed in relation.ml

21 years agoAdded some controls for the graphical deleting of apostrophe.
Paolo Marinelli [Tue, 4 Feb 2003 16:21:10 +0000 (16:21 +0000)]
Added some controls for the graphical deleting of apostrophe.
The code for the graphical deleting is now divided in several private methods, which
 make the code clearer.
Partially added the use of the logger in the class TPushParser.
Some little errors has been eliminated in the implementation of the class
TPushParser.

21 years agoprint_endline ==> prerr_endline
Claudio Sacerdoti Coen [Tue, 4 Feb 2003 12:17:02 +0000 (12:17 +0000)]
print_endline ==> prerr_endline
and other minor code improvements

21 years agoBug fixed: ' must be quoted.
Claudio Sacerdoti Coen [Tue, 4 Feb 2003 12:15:15 +0000 (12:15 +0000)]
Bug fixed: ' must be quoted.

21 years agoBug fixed: "'" must be quoted.
Claudio Sacerdoti Coen [Tue, 4 Feb 2003 12:14:03 +0000 (12:14 +0000)]
Bug fixed: "'" must be quoted.

21 years agoold file removed
Ferruccio Guidi [Mon, 3 Feb 2003 21:19:35 +0000 (21:19 +0000)]
old file removed

21 years agoadded generation of LaTeX documentation
Stefano Zacchiroli [Mon, 3 Feb 2003 20:56:01 +0000 (20:56 +0000)]
added generation of LaTeX documentation

21 years agoupdated
Stefano Zacchiroli [Mon, 3 Feb 2003 20:50:05 +0000 (20:50 +0000)]
updated

21 years agoadded a lot of ocamldoc comments
Stefano Zacchiroli [Mon, 3 Feb 2003 20:49:55 +0000 (20:49 +0000)]
added a lot of ocamldoc comments

21 years ago- added GPL preamble
Stefano Zacchiroli [Mon, 3 Feb 2003 20:48:48 +0000 (20:48 +0000)]
- added GPL preamble
- added a lot of ocamldoc comments

21 years ago- added GPL preamble
Stefano Zacchiroli [Mon, 3 Feb 2003 20:48:14 +0000 (20:48 +0000)]
- added GPL preamble
- added some ocamldoc comments

21 years agoadded GPL preamble
Stefano Zacchiroli [Mon, 3 Feb 2003 20:47:29 +0000 (20:47 +0000)]
added GPL preamble

21 years agofixed a syntax quirk to make ocamldoc happy
Stefano Zacchiroli [Mon, 3 Feb 2003 20:47:03 +0000 (20:47 +0000)]
fixed a syntax quirk to make ocamldoc happy

21 years agomoved an ocamldoc comment to .mli
Stefano Zacchiroli [Mon, 3 Feb 2003 20:46:34 +0000 (20:46 +0000)]
moved an ocamldoc comment to .mli

21 years agospacing to make ocamldoc happy
Stefano Zacchiroli [Mon, 3 Feb 2003 20:44:35 +0000 (20:44 +0000)]
spacing to make ocamldoc happy

21 years agobugfix: catch new exceptions for unsupported HTTP versions and methods
Stefano Zacchiroli [Mon, 3 Feb 2003 20:40:56 +0000 (20:40 +0000)]
bugfix: catch new exceptions for unsupported HTTP versions and methods

21 years agoignore .dot and .ps files
Stefano Zacchiroli [Mon, 3 Feb 2003 20:38:48 +0000 (20:38 +0000)]
ignore .dot and .ps files

21 years agoadded GPL preamble
Stefano Zacchiroli [Mon, 3 Feb 2003 20:38:11 +0000 (20:38 +0000)]
added GPL preamble

21 years ago- removed superseded exceptions: Unsupported_method, Unsupported_HTTP_version
Stefano Zacchiroli [Mon, 3 Feb 2003 20:37:26 +0000 (20:37 +0000)]
- removed superseded exceptions: Unsupported_method, Unsupported_HTTP_version
- added a lot of ocamldoc comments

21 years agoadded generation of dot modules dependency graph
Stefano Zacchiroli [Mon, 3 Feb 2003 20:35:53 +0000 (20:35 +0000)]
added generation of dot modules dependency graph

21 years agonew interface for text_of_query/text_of_result + bug fixes
Ferruccio Guidi [Mon, 3 Feb 2003 17:27:45 +0000 (17:27 +0000)]
new interface for text_of_query/text_of_result + bug fixes

21 years agoWhat was the semantics of passing an empty prop.encoding?
Claudio Sacerdoti Coen [Mon, 3 Feb 2003 11:08:36 +0000 (11:08 +0000)]
What was the semantics of passing an empty prop.encoding?

21 years ago* created a separate namespace for DOM extensions
Luca Padovani [Sat, 1 Feb 2003 17:49:39 +0000 (17:49 +0000)]
* created a separate namespace for DOM extensions

21 years ago* code cleanup
Luca Padovani [Fri, 31 Jan 2003 09:13:55 +0000 (09:13 +0000)]
* code cleanup
* added logger class and a simple implementation on console
* moved transformation code from test into a mathml factory class
* added .cvsignore files

21 years agoNow it's possible to insert and delete control sequence with arguments
Paolo Marinelli [Thu, 30 Jan 2003 21:15:41 +0000 (21:15 +0000)]
Now it's possible to insert and delete control sequence with arguments
delimited by a sequence of delimiters, and to insert and delete tables.
To meet this goals, some source files have been modified.
  src/TPushLexer.*
    This class has a new method: flush. It's can be used to tell the lexer
    to send the current content of the buffer to the parser.
    It's usefull in the creation of the dictionary.
  src/TDictionary.*
    There are two new method: bool lastDelimiter(unsigned p) and
    unsigned previousParam(unsigne p). The first one is used to know if
    the delimiter at position p is the last one of a sequence.
    The second one retursn the position of the parameter preceding p.
  src/TPushParser.cc
    Now, it provides support for inserting and deleting macro with
    arguments delimetd by a sequence of delimiters, and for inserting
    and deleting tables.
  dictionary.xml
    there are three new entry, added only for testing purposes.
  xsl/tml-mmlp.xsl
    it handles the three new element, introduced in the dictionary.

21 years ago* some small bug fixes
Luca Padovani [Wed, 29 Jan 2003 18:15:56 +0000 (18:15 +0000)]
* some small bug fixes
* updated licenses in all source files

21 years ago* implemented a more efficient selection to avoid flickering
Luca Padovani [Wed, 29 Jan 2003 13:19:26 +0000 (13:19 +0000)]
* implemented a more efficient selection to avoid flickering
* click now unselect every selection even in multi_selection

21 years ago* added refs to the pointers passed on the signal handler!!!
Luca Padovani [Tue, 28 Jan 2003 14:57:55 +0000 (14:57 +0000)]
* added refs to the pointers passed on the signal handler!!!

21 years agoAdded some controls concerning the graphical deleting.
Paolo Marinelli [Mon, 27 Jan 2003 16:34:49 +0000 (16:34 +0000)]
Added some controls concerning the graphical deleting.
Now, it's possible to delete a macro which accepts (delimited or not delimited)
arguments.
To meet this goal, the following source files have been modified:
   src/TNode.*
     added a new public method: void TNode::replace(const TNode& first, TNode& last)
       This method is used to replace a node with the nodes between
       first (included) and last (not included).
   src/TPushParser.*
     Some code lines have been added to handle the graphical deleting of
     macro which accepts arguments.
     Added new private method: void TPushParser::rgreplace_futher(void)
       This method is used in TPushParser::gdelete_prev() and
       TPushParser::do_gdelete() methods. This method replaces a
       group with id having the cursor as unic child, with the
       cursor. Then, it repeats the control.
   dictionary.xml
     a new entry is avaible to test the deleting of a macro which is
     "leftOpen".

21 years ago* binding update to recognize the new event scheme generated by
Luca Padovani [Mon, 27 Jan 2003 14:21:24 +0000 (14:21 +0000)]
* binding update to recognize the new event scheme generated by
   gtkmathview
* some code for handling maction elements has been moved into the
  compatibility class

21 years agobugfix: added some missing deps
Stefano Zacchiroli [Sat, 25 Jan 2003 09:30:26 +0000 (09:30 +0000)]
bugfix: added some missing deps

21 years agoexported hbugsClient class so that it can be used from outside
Stefano Zacchiroli [Fri, 24 Jan 2003 15:32:44 +0000 (15:32 +0000)]
exported hbugsClient class so that it can be used from outside

21 years agodebian release 0.3.99-1
Stefano Zacchiroli [Fri, 24 Jan 2003 12:51:03 +0000 (12:51 +0000)]
debian release 0.3.99-1

21 years agochanged version number to 0.3.99
Stefano Zacchiroli [Fri, 24 Jan 2003 12:50:33 +0000 (12:50 +0000)]
changed version number to 0.3.99

21 years agoadded warning comment about using unstable stuff
Stefano Zacchiroli [Fri, 24 Jan 2003 12:50:13 +0000 (12:50 +0000)]
added warning comment about using unstable stuff

21 years ago- create also libxxx.so symlink in ocaml stublibs directory
Stefano Zacchiroli [Fri, 24 Jan 2003 12:49:48 +0000 (12:49 +0000)]
- create also libxxx.so symlink in ocaml stublibs directory
- installs also new GMathViewAux stuff

21 years agodebian release 0.0.3-3
Stefano Zacchiroli [Fri, 24 Jan 2003 12:34:24 +0000 (12:34 +0000)]
debian release 0.0.3-3

21 years ago* restored binding with gtkmathview 0.4.0
Luca Padovani [Thu, 23 Jan 2003 16:14:40 +0000 (16:14 +0000)]
* restored binding with gtkmathview 0.4.0
* added compatibility class for single selection and gtkmathview
* added prototype of multiple selection gtkmathview (likely to change)

21 years agomethod HTML forced for html output
Claudio Sacerdoti Coen [Wed, 22 Jan 2003 15:40:38 +0000 (15:40 +0000)]
method HTML forced for html output

21 years agoclient's GUI no longer visible by default
Stefano Zacchiroli [Wed, 22 Jan 2003 11:48:57 +0000 (11:48 +0000)]
client's GUI no longer visible by default

21 years agobinding to gtkmathview 0.3.1
Stefano Zacchiroli [Tue, 21 Jan 2003 14:41:56 +0000 (14:41 +0000)]
binding to gtkmathview 0.3.1

21 years ago- added methods
Stefano Zacchiroli [Tue, 21 Jan 2003 12:22:55 +0000 (12:22 +0000)]
- added methods
  * dump    (debugging, dump registry internal status)
  * purge   (remove ancient entries from registries)

21 years agoA first partial implementation of deleting is introduced. The user might
Paolo Marinelli [Tue, 21 Jan 2003 11:42:16 +0000 (11:42 +0000)]
A first partial implementation of deleting is introduced. The user might
want to delete in two ways: a deleting mode near to what he has actually
typed (textual mode) and a deleting mode near to what screen shows (graphical
mode). Only a partial implementation of the second mode is provided. The user
can delete a macro he is typing, a group, an identifier, a number, a
superscript and a subscript. To delete in graphical mode the user has to type
BACKSPACE.
Added the following private methods to TPushParser class:
  void do_gdelete(void)
  void gdelete_prev(void)
Added the entry GDELETE to the TCat enum defined in the TToken struct.

21 years ago- added ragman process who cleans up old registrations
Stefano Zacchiroli [Mon, 20 Jan 2003 09:38:54 +0000 (09:38 +0000)]
- added ragman process who cleans up old registrations
- added /dump debugging GET method

21 years agochanged log file permission to 0o640
Stefano Zacchiroli [Fri, 17 Jan 2003 16:09:53 +0000 (16:09 +0000)]
changed log file permission to 0o640

21 years agokill HTTP child on exit
Stefano Zacchiroli [Fri, 17 Jan 2003 16:07:09 +0000 (16:07 +0000)]
kill HTTP child on exit

21 years agocatch SIGTERM and log a "bye" message
Stefano Zacchiroli [Fri, 17 Jan 2003 15:45:39 +0000 (15:45 +0000)]
catch SIGTERM and log a "bye" message

21 years ago- bugfix: display exit message only when uwobo master process exits
Stefano Zacchiroli [Fri, 17 Jan 2003 15:41:38 +0000 (15:41 +0000)]
- bugfix: display exit message only when uwobo master process exits
- bumped log level to `Notice

21 years ago- removed debugging messages while setting output properties
Stefano Zacchiroli [Fri, 17 Jan 2003 15:16:56 +0000 (15:16 +0000)]
- removed debugging messages while setting output properties
- fixed copyright notice

21 years ago- generalized sysLogger class so that it logs to a generic output
Stefano Zacchiroli [Fri, 17 Jan 2003 15:14:53 +0000 (15:14 +0000)]
- generalized sysLogger class so that it logs to a generic output
  channel, now it can be used to log also to files, sockets, ...
- better pretty printing of debugging messages: timestamps added
- fixed copyright notice

21 years ago- removed useless thread stuff
Stefano Zacchiroli [Fri, 17 Jan 2003 15:12:35 +0000 (15:12 +0000)]
- removed useless thread stuff
- fixed copyright notice

21 years ago- removed thread stuff
Stefano Zacchiroli [Fri, 17 Jan 2003 15:11:55 +0000 (15:11 +0000)]
- removed thread stuff
- moved here http response facilities
- moved here usage string
- removed useless debugging functions
- removed useless threadSafe class
- fixed copyright notice

21 years agoMAJOR CHANGES:
Stefano Zacchiroli [Fri, 17 Jan 2003 15:10:28 +0000 (15:10 +0000)]
MAJOR CHANGES:
- doesn't use thread anymore, use process with a master process which
  uses two pipes to chat about stylesheets related changes, if the
  stylesheet list needs a change master process kills the child process
  holding the Http daemon, performs the needed changes to the stylesheet
  list and runs a new Http daemon child process
MINOR CHANGES:
- disabled debugging by default
- use logfile support and log to "uwobo.log" by default
- changed default port to 58080
- moved http response facilities to Uwobo_common
- moved usage string to Uwobo_common
- fixed copyright notice

21 years agomention sockets' shutdown
Stefano Zacchiroli [Fri, 17 Jan 2003 14:50:23 +0000 (14:50 +0000)]
mention sockets' shutdown

21 years ago- added support for shutdown of servers' socket on abnormal exits
Stefano Zacchiroli [Fri, 17 Jan 2003 14:50:05 +0000 (14:50 +0000)]
- added support for shutdown of servers' socket on abnormal exits
  (actually SIGTERM or uncaught exceptions)
- deprecated use of 'ocaml_builtin' server (removed from .mli too)

21 years agouse new Http_tcp_server.fork server instead of (now) deprecated
Stefano Zacchiroli [Fri, 17 Jan 2003 14:48:50 +0000 (14:48 +0000)]
use new Http_tcp_server.fork server instead of (now) deprecated
Http_tcp_server.ocaml_builtin

21 years agoadded 'highlander' example to test fast rebinding of daemon's port
Stefano Zacchiroli [Fri, 17 Jan 2003 14:48:09 +0000 (14:48 +0000)]
added 'highlander' example to test fast rebinding of daemon's port

21 years agoremoved thread support options
Stefano Zacchiroli [Fri, 17 Jan 2003 14:45:52 +0000 (14:45 +0000)]
removed thread support options

21 years agorebuilt
Stefano Zacchiroli [Fri, 17 Jan 2003 14:45:29 +0000 (14:45 +0000)]
rebuilt

21 years agoadded loading of stylesheets on start/restart
Stefano Zacchiroli [Wed, 15 Jan 2003 14:33:26 +0000 (14:33 +0000)]
added loading of stylesheets on start/restart

21 years agosnapshot
Stefano Zacchiroli [Wed, 15 Jan 2003 14:28:48 +0000 (14:28 +0000)]
snapshot

21 years ago- disabled OCaml HTTP debugging
Stefano Zacchiroli [Wed, 15 Jan 2003 14:02:59 +0000 (14:02 +0000)]
- disabled OCaml HTTP debugging
- added a debugging messages that is printed after a request is served

21 years ago- no default_properties
Stefano Zacchiroli [Wed, 15 Jan 2003 13:39:21 +0000 (13:39 +0000)]
- no default_properties

21 years ago- added support for default properties
Stefano Zacchiroli [Wed, 15 Jan 2003 13:22:55 +0000 (13:22 +0000)]
- added support for default properties
- actually the only default property is 'method="xml"'

21 years agochanged default behavior of the "all:" target, now builds only bytecode
Stefano Zacchiroli [Wed, 15 Jan 2003 12:16:17 +0000 (12:16 +0000)]
changed default behavior of the "all:" target, now builds only bytecode

21 years agoremoved generated output.xml from EXTRA_DIST
Stefano Zacchiroli [Wed, 15 Jan 2003 11:32:33 +0000 (11:32 +0000)]
removed generated output.xml from EXTRA_DIST