| 2007-11-27 |
Stefano Zacchiroli | remove debug fake data
|
commit | commitdiff | tree |
| 2007-11-27 |
Stefano Zacchiroli | (hackish) scripts for testing spurious disambiguation...
|
commit | commitdiff | tree |
| 2007-11-27 |
Stefano Zacchiroli | add "-order" cmdline option to just print a possible...
|
commit | commitdiff | tree |
| 2007-11-27 |
Stefano Zacchiroli | change naming scheme for rottened script, so that they...
|
commit | commitdiff | tree |
| 2007-11-27 |
Stefano Zacchiroli | avoid rottening of constructor names in pattern matchings
|
commit | commitdiff | tree |
| 2007-11-27 |
Stefano Zacchiroli | ignore sqlite db and rottener* executables
|
commit | commitdiff | tree |
| 2007-11-27 |
Stefano Zacchiroli | - use "O" as the rottening token
|
commit | commitdiff | tree |
| 2007-11-27 |
Stefano Zacchiroli | make target for cleaning rottened files
|
commit | commitdiff | tree |
| 2007-11-26 |
Stefano Zacchiroli | first draft of a script to mechanically introduce ...
|
commit | commitdiff | tree |
| 2007-11-26 |
Stefano Zacchiroli | ignore *.o
|
commit | commitdiff | tree |
| 2007-11-26 |
Stefano Zacchiroli | add dump of position information in the lexed file
|
commit | commitdiff | tree |
| 2007-11-23 |
Stefano Zacchiroli | * NOT RELEASED YET
|
commit | commitdiff | tree |
| 2007-11-23 |
Stefano Zacchiroli | * bump deps on lablgtk2 to match lates upstream
|
commit | commitdiff | tree |
| 2007-09-22 |
Stefano Zacchiroli | * add Homepage debian/control field
|
commit | commitdiff | tree |
| 2007-09-15 |
Stefano Zacchiroli | unreleased
|
commit | commitdiff | tree |
| 2007-09-15 |
Stefano Zacchiroli | * debian/liblablgtkmathview-ocaml-dev.install.in
|
commit | commitdiff | tree |
| 2007-09-09 |
Stefano Zacchiroli | * debian/control
|
commit | commitdiff | tree |
| 2007-09-09 |
Stefano Zacchiroli | * NOT RELEASED YET
|
commit | commitdiff | tree |
| 2007-09-09 |
Stefano Zacchiroli | * change how the ocamldoc API reference is generated...
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | bump version
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | release
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | * add ocamldoc comments to .mli interface files
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | include also gdome2/ dir in the ocamldoc include path
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | * debian/rules
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | why the heck configure was committed?
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | * debian/control
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | init new dummy entry
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | remove spurious comment
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | upload to unstable
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | remove spurious entry
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | - s/Source-Version/binary:Version/ substvar
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | add stdlib/gdome2 to the include dir for ocamldoc
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | bump version
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | * convert comments in .mli interface files to ocamldoc...
|
commit | commitdiff | tree |
| 2007-09-08 |
Stefano Zacchiroli | convert comments to ocamldoc comments
|
commit | commitdiff | tree |
| 2007-07-16 |
Stefano Zacchiroli | * NOT RELEASED YET
|
commit | commitdiff | tree |
| 2007-07-16 |
Stefano Zacchiroli | * NOT RELEASED YET
|
commit | commitdiff | tree |
| 2007-07-16 |
Stefano Zacchiroli | proper path for ps.gz doc
|
commit | commitdiff | tree |
| 2007-07-16 |
Stefano Zacchiroli | texlive-base-bin, texlive-latex-extra
|
commit | commitdiff | tree |
| 2007-07-16 |
Stefano Zacchiroli | - add build-dep for doc generation: graphviz, texlive...
|
commit | commitdiff | tree |
| 2007-07-16 |
Stefano Zacchiroli | - add build-dep for doc generation: graphviz, texlive...
|
commit | commitdiff | tree |
| 2007-07-16 |
Stefano Zacchiroli | * debian/rules
|
commit | commitdiff | tree |
| 2007-07-16 |
Stefano Zacchiroli | invoke make doc after build to create ocamldoc docs
|
commit | commitdiff | tree |
| 2007-07-16 |
Stefano Zacchiroli | * debian/svn-deblayout
|
commit | commitdiff | tree |
| 2007-07-16 |
Stefano Zacchiroli | * rebuild against OCaml 3.10 and ocamlnet 2.2
|
commit | commitdiff | tree |
| 2007-07-16 |
Stefano Zacchiroli | * debian/*.install.in
|
commit | commitdiff | tree |
| 2007-07-16 |
Stefano Zacchiroli | * rebuild with OCaml 3.10
|
commit | commitdiff | tree |
| 2007-05-28 |
Stefano Zacchiroli | removed spurious br
|
commit | commitdiff | tree |
| 2007-05-28 |
Stefano Zacchiroli | added abstract toggling
|
commit | commitdiff | tree |
| 2007-05-28 |
Stefano Zacchiroli | added missing PDFs and spurious error papers
|
commit | commitdiff | tree |
| 2007-02-09 |
Stefano Zacchiroli | Added toggle for enabling/disabling the conversion...
|
commit | commitdiff | tree |
| 2007-02-09 |
Stefano Zacchiroli | - moved to the view menu toggles for coercion hiding...
|
commit | commitdiff | tree |
| 2007-02-09 |
Stefano Zacchiroli | moved the high level pretty printing setting to a toggle...
|
commit | commitdiff | tree |
| 2007-01-29 |
Stefano Zacchiroli | well-formed ocamldoc comment
|
commit | commitdiff | tree |
| 2007-01-29 |
Stefano Zacchiroli | preliminary cookie support
|
commit | commitdiff | tree |
| 2007-01-24 |
Stefano Zacchiroli | send internally generated headers in lowercase form...
|
commit | commitdiff | tree |
| 2007-01-03 |
Stefano Zacchiroli | ready for ocamlnet 2.2
|
commit | commitdiff | tree |
| 2007-01-03 |
Stefano Zacchiroli | more elegant handling of all/opt building
|
commit | commitdiff | tree |
| 2006-12-07 |
Stefano Zacchiroli | reverted error committed by mistake
|
commit | commitdiff | tree |
| 2006-12-07 |
Stefano Zacchiroli | avoid Failure "nth" when only one disambiguation pass...
|
commit | commitdiff | tree |
| 2006-12-05 |
Stefano Zacchiroli | experimental classification of disambiguation error...
|
commit | commitdiff | tree |
| 2006-12-05 |
Stefano Zacchiroli | do not share the db connection among children, should...
|
commit | commitdiff | tree |
| 2006-11-03 |
Stefano Zacchiroli | preliminary support for hbugs
|
commit | commitdiff | tree |
| 2006-09-27 |
Stefano Zacchiroli | Added generation of dependency graph for the ocaml...
|
commit | commitdiff | tree |
| 2006-09-27 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2006-09-21 |
Stefano Zacchiroli | added displaying of the dep graph of a development...
|
commit | commitdiff | tree |
| 2006-09-21 |
Stefano Zacchiroli | added generation of the .dot version of development...
|
commit | commitdiff | tree |
| 2006-09-17 |
Stefano Zacchiroli | removed old .cvsignore files
|
commit | commitdiff | tree |
| 2006-09-17 |
Stefano Zacchiroli | ready for 3.09.3 and ocaml.mk
|
commit | commitdiff | tree |
| 2006-09-17 |
Stefano Zacchiroli | binNMU safe setting of debian/*
|
commit | commitdiff | tree |
| 2006-09-14 |
Stefano Zacchiroli | removed useless file in source package
|
commit | commitdiff | tree |
| 2006-09-14 |
Stefano Zacchiroli | new release, binNMU safe
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | ready for the upload
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | added me as an author, better formatting of debian...
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | committed the generated version of configure, so that...
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | use autotools class so that configure is invoked by...
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | bumped version
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | snapshot: first draft of binNMU safe cdbs packaging
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | added detection of native code compilation in "upstream...
|
commit | commitdiff | tree |
| 2006-09-11 |
Stefano Zacchiroli | oops: changes should be committed to Makefile.in, not...
|
commit | commitdiff | tree |
| 2006-09-04 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2006-08-29 |
Stefano Zacchiroli | - bumped year
|
commit | commitdiff | tree |
| 2006-08-22 |
Stefano Zacchiroli | info about where to find LablGtkSourceView now
|
commit | commitdiff | tree |
| 2006-08-22 |
Stefano Zacchiroli | lablgtksourceview is moving to gna, removing the old...
|
commit | commitdiff | tree |
| 2006-08-20 |
Stefano Zacchiroli | touched changelog, ready for a release!
|
commit | commitdiff | tree |
| 2006-08-06 |
Stefano Zacchiroli | bumped gmetadom dependencies to >= 0.2.4
|
commit | commitdiff | tree |
| 2006-08-01 |
Stefano Zacchiroli | - added a label_of_uri function to easily change node...
|
commit | commitdiff | tree |
| 2006-07-26 |
Stefano Zacchiroli | added tinycals to the proof we frequently use for examples...
|
commit | commitdiff | tree |
| 2006-07-26 |
Stefano Zacchiroli | added test for reordering of goals when using the 1...
|
commit | commitdiff | tree |
| 2006-07-24 |
Stefano Zacchiroli | use the new graphviz pretty printer API
|
commit | commitdiff | tree |
| 2006-07-24 |
Stefano Zacchiroli | added missing dependency
|
commit | commitdiff | tree |
| 2006-07-24 |
Stefano Zacchiroli | equality now requires 2 extra parameters
|
commit | commitdiff | tree |
| 2006-07-24 |
Stefano Zacchiroli | removed reference to primes1.ma (now removed)
|
commit | commitdiff | tree |
| 2006-07-20 |
Stefano Zacchiroli | avoid collapsing node that does not need to be, i.e.:
|
commit | commitdiff | tree |
| 2006-07-20 |
Stefano Zacchiroli | bugfix: proper computation of the amount of new node...
|
commit | commitdiff | tree |
| 2006-07-19 |
Stefano Zacchiroli | - added to the cicBrowser support for displaying recursive...
|
commit | commitdiff | tree |
| 2006-07-19 |
Stefano Zacchiroli | New module to extract from the Db direct and inverse...
|
commit | commitdiff | tree |
| 2006-07-19 |
Stefano Zacchiroli | exported position_prefix (so that it can be looked...
|
commit | commitdiff | tree |
| 2006-07-19 |
Stefano Zacchiroli | use double quotes around escaped URIs, single quotes...
|
commit | commitdiff | tree |
| next |
projects / helm.git / search