1. 14 Jul, 2012 4 commits
  2. 22 Nov, 2011 1 commit
    • Alexandre Duret-Lutz's avatar
      Update prerequisites. · 6422d7f2
      Alexandre Duret-Lutz authored
      * doc/README.txt: Mention Ncurses in the README.  Update the
      version of Xerces-C++.
      * doc/manual/TFKD-ch0.tex: Update prerequisites.
      6422d7f2
  3. 27 Sep, 2011 2 commits
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
      Integrate Jacques' documentation. · 5e4ae403
      Alexandre Duret-Lutz authored
      * doc/manual/TAFK.tex, doc/manual/TFKD-ch0.tex,
      doc/manual/TFKD-ch1.tex, doc/manual/TFKD-ch2-1.tex,
      doc/manual/TFKD-ch2-2.tex, doc/manual/TFKD-ch2-3.tex,
      doc/manual/TFKD-ch2-4.tex, doc/manual/TFKD-ch2-5.tex,
      doc/manual/TFKD-ch2-6.tex, doc/manual/TFKD-ch2.tex,
      doc/manual/TFKD-chA.tex, doc/manual/TFKD-chB.tex,
      doc/manual/TFKD-chC.tex, doc/manual/TFKD-chD.tex,
      doc/manual/TFKD-chE.tex, doc/manual/TFKD-chZ.tex,
      doc/manual/TFKD-intro.tex, doc/manual/TFKD-title.tex,
      doc/manual/Z6Z-1345-univ-v2.tex,
      doc/manual/texinputs/accent_keys.tex,
      doc/manual/texinputs/js_macros3.tex,
      doc/manual/texinputs/js_symboles3.tex: New files.
      * doc/manual/figures/: New directory, full of postscript
      files.
      * doc/manual/developer.tex, doc/manual/taf-kit-manual.tex,
      doc/manual/vaucanswig.tex: Delete.
      * doc/manual/Makefile: Update.
      5e4ae403
  4. 26 Jul, 2011 1 commit
  5. 28 May, 2010 1 commit
    • Alexandre Duret-Lutz's avatar
      Rename edit-automaton as edit, and make it explicit how to save. · a6dadbb7
      Alexandre Duret-Lutz authored
      * taf-kit/src/common_commands.hh: Rename edit-automaton as edit.
      * taf-kit/src/edition_commands.hh,
      taf-kit/src/edition_commands.hxx: Rename edit_automaton_command()
      as edit_command(), and add replace "10. Exit" by "10. Save & exit"
      and "11. Exit".  (Students used to ask how to save the automaton.)
      * taf-kit/tests/vcsn-char-b.test,
      taf-kit/tests/vcsn-char-char-b.test,
      taf-kit/tests/vcsn-char-fmp-b.test,
      taf-kit/tests/vcsn-char-fmp-z.test,
      taf-kit/tests/vcsn-char-int-b.test,
      taf-kit/tests/vcsn-char-z.test, taf-kit/tests/vcsn-char-zmax.test,
      taf-kit/tests/vcsn-char-zmin.test, taf-kit/tests/vcsn-int-b.test,
      taf-kit/tests/vcsn-int-fmp-b.test,
      taf-kit/tests/vcsn-int-fmp-z.test,
      taf-kit/tests/vcsn-int-int-b.test, taf-kit/tests/vcsn-int-z.test:
      Rename edit-automaton as edit.
      a6dadbb7
  6. 26 May, 2010 1 commit
    • Alexandre Duret-Lutz's avatar
      Disable the 'ascii' alphabet. · 9d5465ae
      Alexandre Duret-Lutz authored
      Presently we cannot parse 'a ++ b' with the ascii alphabet even if
      OP_PLUS=++.  The above is parsed as the concatenation of six
      ascii letters.
      
      * taf-kit/src/predefined_alphabets.hxx (predefined_alphabets):
      Remove the ascii entry.
      * doc/manual/taf-kit-manual.tex (Character alphabets): Do not
      mention the ascii alphabet.
      * taf-kit/tests/vcsn-char-b.test,
      taf-kit/tests/vcsn-char-fmp-b.test,
      taf-kit/tests/vcsn-char-fmp-z.test,
      taf-kit/tests/vcsn-char-z.test: Disable all tests that use
      the ASCII alphabet, or rewrite them using another alphabet.
      9d5465ae
  7. 22 Sep, 2009 2 commits
  8. 03 Sep, 2009 1 commit
  9. 08 Jul, 2009 2 commits
    • Alex Hamelin's avatar
      * configure.ac: Bump version to 1.3.1a. · 943df235
      Alex Hamelin authored
      * doc/manual/taf-kit-manual.tex: Likewise
      943df235
    • Alex Hamelin's avatar
      Release 1.3.1. · bd8e261d
      Alex Hamelin authored
      * doc/README.txt: Add information about CBS, Remove
      information about VaucanSWIG.
      * doc/NEWS.txt: Update for 1.3.1.
      * doc/manual/taf-kit-manual.tex: Likewise.
      * configure.ac: Bump version to 1.3.1.
      bd8e261d
  10. 26 May, 2009 2 commits
  11. 11 May, 2009 1 commit
  12. 06 May, 2009 2 commits
    • Alexandre Duret-Lutz's avatar
      Rename d2.xml as d1.xml. · 82dba881
      Alexandre Duret-Lutz authored
      * data/automata/char-z/d2.cc: Rename as...
      * data/automata/char-z/d1.cc: ... this.
      * data/automata/char-z/Makefile.am: Adjust to build d1 and create
      d1.xml
      * taf-kit/tests/vcsn-char-z.test: Adjust to use d1.xml.
      * doc/manual/taf-kit-manual.tex: Rename d2.xml as d1.xml.
      82dba881
    • Alexandre Duret-Lutz's avatar
      Document left and right weight multiplications. · 8b18c596
      Alexandre Duret-Lutz authored
      * doc/manual/taf-kit-manual.tex (Writing Rational Expressions):
      Rename as ...
      (Writing (Weighted) Rational Expressions): ... this.
      (Rational operators): Show the result of the are-equivalent
      example.
      (Weights): Document left and right weights using text from
      Jacques Sakarovitch.
      (Trivial Identities): Write "weighted rational expression"
      instead of "rational expression" to avoid ambiguities.
      8b18c596
  13. 04 May, 2009 2 commits
  14. 30 Apr, 2009 5 commits
  15. 16 Apr, 2009 2 commits
  16. 15 Apr, 2009 1 commit
    • Alexandre Duret-Lutz's avatar
      More documentation. · 337bbe0d
      Alexandre Duret-Lutz authored
      * doc/manual/vaucanson-manual.tex: Fill the automaton repository.
      Add some words about weights.  Kill the old examples from the doc
      except the part about Z-automata.
      337bbe0d
  17. 10 Apr, 2009 1 commit
    • Alexandre Duret-Lutz's avatar
      Make a new section of rational expressions. · 755d48a9
      Alexandre Duret-Lutz authored
      * doc/manual/vaucanson-manual.tex (Writing Rational Expression):
      New section.
      (Empty word and null series): Move into the previous section.
      (Interactive Definition of Automata): Create a new section out of...
      (Boolean automata): ... some text from here, and delete the rest.
      (Automaton Repository): Complete.
      755d48a9
  18. 09 Apr, 2009 1 commit
  19. 07 Apr, 2009 2 commits
  20. 03 Apr, 2009 2 commits
    • Alexandre Duret-Lutz's avatar
      Manual: some work on the title page and the introduction. · 4b2f50ba
      Alexandre Duret-Lutz authored
      * doc/manual/vaucanson-manual.tex (\TFK,\TFKv): Remove these
      unused macros.
      (\title,\author): Remove and replace by a custom titlepage.
      Also change the title from "The Vaucanson TAF-Kit 1.2.95"
      to "Vaucanson User's Manual".
      (Introduction): Rewrite to introduce the library, TAF-Kit, and
      the automata repository.
      (Automaton Library): Rename as ...
      (Automaton Repository): ... to avoid ambiguities with Vaucanson
      being an Automaton Library too.
      4b2f50ba
    • Alexandre Duret-Lutz's avatar
      Replace check_doc.py by a call to grep. · 97f68dfe
      Alexandre Duret-Lutz authored
      * doc/manual/Makefile.am (maintainer-check): Replace the
      call to check_doc.py by a simple call to grep.
      (CLEANFILES, check_doc.py): Do not build check_doc.py anymore.
      * doc/manual/check_doc.py.in: Delete.
      97f68dfe
  21. 02 Apr, 2009 3 commits
  22. 01 Apr, 2009 1 commit